Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht /
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excel...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1997.
|
| Έκδοση: | 1st ed. 1997. |
| Σειρά: | Lecture Notes in Computer Science,
1261 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- On the work of Andrzej Ehrenfeucht in model theory
- Syntax vs. semantics on finite structures
- Expressive power of unary counters
- Some strange quantifiers
- Pebble games in model theory
- An interpretive isomorphism between binary and ternary relations
- Vagueness - A rough set view
- Ehrenfeucht games, the composition method, and the monadic theory of ordinal words
- Monadic second order logic and node relations on graphs and trees
- Approximating the volume of general Pfaffian bodies
- Complement-equivalence classes on graphs
- On compact directed acyclic word graphs
- Metric entropy and minimax risk in classification
- Of periods, quasiperiods, repetitions and covers
- Combinatorics of standard Sturmian words
- Compactness of systems of equations on completely regular semigroups
- Decision problems concerning algebraic series with noncommuting variables
- Associative shuffle of infinite words
- Constructing sequential bijections
- Rewriting rules for synchronization languages
- DNA sequence classification using DAWGs
- DNA computing: Distributed splicing systems.
