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

Last update Mon Feb 13 04:19:58 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page