65. Birthday: Andrzej Ehrenfeucht, 1997

Model Theory

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

Games and Logic

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

Graphs and Algorithms

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

Pattern Matching and Learning

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

Combinatorics of Words

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

Algebra of Languages

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

Formal Language Theory

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

Computational Molecular Biology

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