Regular Languages, Tree Width, and Courcelle's Theorem
An Introduction
(Sprache: Englisch)
"Regular Languages, Tree Width, and Courcelle's Theorem" provides an introduction to Courcelle's Theorem, a theorem about the complexityof deciding whether a finite mathematical structure satisfies a given logical formula. In this connection, further topics...
Leider schon ausverkauft
versandkostenfrei
Buch
49.00 €
Produktdetails
Produktinformationen zu „Regular Languages, Tree Width, and Courcelle's Theorem “
Klappentext zu „Regular Languages, Tree Width, and Courcelle's Theorem “
"Regular Languages, Tree Width, and Courcelle's Theorem" provides an introduction to Courcelle's Theorem, a theorem about the complexityof deciding whether a finite mathematical structure satisfies a given logical formula. In this connection, further topics covered in the book include the interplay of logic and regular languages (e.g. Büchi's Theorem) and the graph theoretical concept of tree width, a measure of the similarity of a graph to a tree. The text assumes no previous mathematical knowledge of the reader other than some basic acquaintance with the concept of regular languages.
Autoren-Porträt von Steffen Eger
Steffen Eger received a Master's degree in both Linguistics andMathematics from the University of Heidelberg, Germany. His mainareas of interest include the mathematical modeling of language,logic and computability theory. He is currently working on theAdiuvaris project, a statistical approach to Latin-Germantranslation.
Bibliographische Angaben
- Autor: Steffen Eger
- 2008, 96 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller e.K.
- ISBN-10: 3639076338
- ISBN-13: 9783639076332
Sprache:
Englisch
Kommentar zu "Regular Languages, Tree Width, and Courcelle's Theorem"
0 Gebrauchte Artikel zu „Regular Languages, Tree Width, and Courcelle's Theorem“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Regular Languages, Tree Width, and Courcelle's Theorem".
Kommentar verfassen