Vor Ort
Merkzettel Warenkorb
Produktbild: Structures in Logic and Computer Science
Band 1261

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.07.1997

Herausgeber

Jan Mycielski + weitere

Verlag

Springer Berlin

Seitenzahl

376

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

587 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63246-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.07.1997

Herausgeber

Verlag

Springer Berlin

Seitenzahl

376

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

587 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63246-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Structures in Logic and Computer Science
  • 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.