Tools

LEADER 03134cam 2200421 a 4500

001 ocm37211397;

003 OCoLC;

005 20141212125218.0;

008 970623s1997 gw a b 011 0 eng ;

010 a| 97027558;

015 a| GB97-54098;

019 a| 37573447;

020 a| 3540632468 (alk. paper);

035 a| (Sirsi) o37211397;

035 a| (OCoLC)37211397;

049 a| EREE;

050 00 a| QA76b| .S844 1997;

082 00 a| 511.32| 21;

245 00 a| Structures in logic and computer science :b| a selection of essays in honor of A. Ehrenfeucht /c| Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds.;

300 a| x, 370 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1261;

504 a| Includes bibliographical references and index.;

505 0 a| On the work of Andrzej Ehrenfeucht in model theory / R. Vaught -- Syntax vs. semantics on finite structures / N. Alechina and Y. Gurevich -- Expressive power of unary counters / M. Benedikt and H.J. Keisler -- Some strange quantifiers / W. Hodges -- Pebble games in model theory / J.F. Lynch -- Am interpretive isomorphism between binary and ternary relations / D. Myers -- Vagueness : a rough set view / Z. Pawlak -- Ehrenfeucht games, the composition method, and the monadic theory of ordinal words / W. Thomas -- Monadic second order logic and node relations on graphs and trees / R. Bloem and J. Engelfriet -- Approximating the volume of general Pfaffian bodies / M. Karpinski and A. Macintyre -- Complement-equivalence classes on graphs / R. McConnell -- On compact directed acyclic word graphs / M. Crochemore and R. Vérin -- Metric entropy and minimax risk in classification / D. Haussler and M. Opper -- Of periods, quasiperiods, repetitions and covers / A. Apostolico and D. Breslauer -- Combinatorics of standard Sturmian words / A. de Luca -- Compactness of systems of equations on completely regular semigroups / T. Harju, J. Karhumäki and M. Petrich -- Decision problems concerning algebraic series with noncommuting variables / J. Honkala -- Associative shuffle of infinite words / A. Mateescu and G.D. Mateescu -- Constructing sequential bijections / C. Prieur, C. Choffrut and M. Latteux -- Rewriting rules for synchronization languages / K. Salomaa and S. Yu -- DNA sequence classification using DAWGs / S. Levy and G.D. Stormo -- DNA computing : distributed splicing systems / G. Păun.;

600 10 a| Ehrenfeucht, Andrzej.=| ^A397827;

650 0 a| Computer science.=| ^A267953;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Mycielski, Jan,d| 1932-=| ^A244642;

700 1 a| Rozenberg, Grzegorz.=| ^A83644;

700 1 a| Salomaa, Arto.=| ^A51664;

830 0 a| Lecture notes in computer sciencev| 1261.=| ^A466336;

596 a| 1;

998 a| 628254;

999 a| QA76 .S844 1997w| LCc| 1i| 30372010007794d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/30/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds.

Other author	Mycielski, Jan, 1932-
Other author	Rozenberg, Grzegorz.
Other author	Salomaa, Arto.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1997.
Description	x, 370 pages : illustrations ; 24 cm.
Subjects	Ehrenfeucht, Andrzej. Computer science. Logic, Symbolic and mathematical.

Series	Lecture notes in computer science ; 1261 Lecture notes in computer science 1261. ^A466336
Contents	On the work of Andrzej Ehrenfeucht in model theory / R. Vaught -- Syntax vs. semantics on finite structures / N. Alechina and Y. Gurevich -- Expressive power of unary counters / M. Benedikt and H.J. Keisler -- Some strange quantifiers / W. Hodges -- Pebble games in model theory / J.F. Lynch -- Am interpretive isomorphism between binary and ternary relations / D. Myers -- Vagueness : a rough set view / Z. Pawlak -- Ehrenfeucht games, the composition method, and the monadic theory of ordinal words / W. Thomas -- Monadic second order logic and node relations on graphs and trees / R. Bloem and J. Engelfriet -- Approximating the volume of general Pfaffian bodies / M. Karpinski and A. Macintyre -- Complement-equivalence classes on graphs / R. McConnell -- On compact directed acyclic word graphs / M. Crochemore and R. Vérin -- Metric entropy and minimax risk in classification / D. Haussler and M. Opper -- Of periods, quasiperiods, repetitions and covers / A. Apostolico and D. Breslauer -- Combinatorics of standard Sturmian words / A. de Luca -- Compactness of systems of equations on completely regular semigroups / T. Harju, J. Karhumäki and M. Petrich -- Decision problems concerning algebraic series with noncommuting variables / J. Honkala -- Associative shuffle of infinite words / A. Mateescu and G.D. Mateescu -- Constructing sequential bijections / C. Prieur, C. Choffrut and M. Latteux -- Rewriting rules for synchronization languages / K. Salomaa and S. Yu -- DNA sequence classification using DAWGs / S. Levy and G.D. Stormo -- DNA computing : distributed splicing systems / G. Păun.
Bibliography note	Includes bibliographical references and index.
LCCN	97027558
ISBN	3540632468 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76 .S844 1997	✔ Available	Place Hold

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds.

Click here for more information about this title

Availability