65. Birthday: Andrzej Ehrenfeucht, 1997

Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Eds.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science 1261 Springer 1997, ISBN 3-540-63246-8

Model Theory

Robert L. Vaught: On the Work of Andrzej Ehrenfeucht in Model Theory. 1-13
Natasha Alechina, Yuri Gurevich: Syntax vs. Semantics on Finite Structures. 14-33
Michael Benedikt, H. Jerome Keisler: Expressive Power of Unary Counters. 34-50
Wilfried Hodges: Some Strange Quantifiers. 51-65

Games and Logic

James F. Lynch: Pebble Games in Model Theory. 66-83
Dale Myers: An Interpretive Isomorphism Between Binary and Ternary Relations. 84-105
Zdzislaw Pawlak: Vagueness - a Rough Set View. 106-117
Wolfgang Thomas: Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. 118-143

Graphs and Algorithms

Roderick Bloem, Joost Engelfriet: Monadic Second Order Logic and Node Relations on Graphs and Trees. 144-161
Marek Karpinski, Angus Macintyre: Approximating the Volume of General Pfaffian Bodies. 162-173
Ross M. McConnell: Complement-Equivalence Classes on Graphs. 174-191

Pattern Matching and Learning

Maxime Crochemore, Renaud Vérin: On Compact Directed Acyclic Word Graphs. 192-211
David Haussler, Manfred Opper: Metric Entropy and Minimax Risk in Classification. 212-235

Combinatorics of Words

Alberto Apostolico, Dany Breslauer: Of Periods, Quasiperiods, Repetitions and Covers. 236-248
Aldo de Luca: Combinatories of Standard Sturmian Words. 249-267

Algebra of Languages

Tero Harju, Juhani Karhumäki, Mario Petrich: Compactness of Systems of Equations on Completely Regular Semigroups. 268-280
Juha Honkala: Decision Problems Concerning Algebraic Series with Noncommuting Variables. 281-290

Formal Language Theory

Alexandru Mateescu, George Daniel Mateescu: Associative Shuffle of Infinite Words. 291-307
Christophe Prieur, Christian Choffrut, Michel Latteux: Constructing Sequential Bijections. 308-321
Kai Salomaa, Sheng Yu: Rewriting Rules for Synchronization Languages. 322-338

Computational Molecular Biology

Samuel Levy, Gary D. Stormo: DNA Sequence Classification Using DAWGs. 339-352
Gheorghe Paun: DNA Computing: Distributed Splicing Systems. 353-370

Copyright © Mon Nov 2 20:22:07 2009 by Michael Ley (ley@uni-trier.de)