default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65. Birthday: Andrzej Ehrenfeucht, 1997
- Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 19:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
