Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht /

Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht /

Show other versions (2)

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...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Mycielski, Jan (Editor, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Editor, http://id.loc.gov/vocabulary/relators/edt), Salomaa, Arto (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Edition:1st ed. 1997.
Series:Lecture Notes in Computer Science, 1261
Subjects:
Computers.
Mathematical logic.
Theory of Computation.
Mathematical Logic and Foundations.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items