Bruno Courcelle is a Professor at Bordeaux 1 University and a member of LaBRI (the Bordeaux Laboratory of Computer Science, CNRS) and of the Institut Universitaire de France. After studying at the École Normale Supérieure, he was a researcher at INRIA (1972-8), before becoming a Professor at Bordeaux in 1979. He obtained his PhD (supervised by M. Nivat), in 1976. He is on the editorial boards for the journals Information and Computation and Logical Methods in Computer Science.
Inhaltsangabe
Foreword Maurice Nivat Introduction 1. Overview 2. Graph algebras and widths of graphs 3. Equational and recognizable sets in many-sorted algebras 4. Equational and recognizable sets of graphs 5. Monadic second-order logic 6. Algorithmic applications 7. Monadic second-order transductions 8. Transductions of terms and words 9. Relational structures Conclusion and open problems References Index of notation Index.
Foreword Maurice Nivat Introduction 1. Overview 2. Graph algebras and widths of graphs 3. Equational and recognizable sets in many-sorted algebras 4. Equational and recognizable sets of graphs 5. Monadic second-order logic 6. Algorithmic applications 7. Monadic second-order transductions 8. Transductions of terms and words 9. Relational structures Conclusion and open problems References Index of notation Index.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
