Detailansicht
Structures in Logic and Computer Science
A Selection of Essays in Honor of A.Ehrenfeucht, Lecture Notes in Computer Science 1261
ISBN/EAN: 9783540632467
Umbreit-Nr.: 1512361
Sprache:
Englisch
Umfang: xii, 376 S.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 23.07.1997
- Zusatztext
- InhaltsangabeOn 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.