Produktbild: Structures in Logic and Computer Science
Band 1261

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.07.1997

Abbildungen

XII, 376 p.

Herausgeber

Jan Mycielski + weitere

Verlag

Springer Berlin

Seitenzahl

376

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63246-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.07.1997

Abbildungen

XII, 376 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

376

Maße (L/B/H)

23,5/15,5/2,1 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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.