Book Chapter

On the Equivalence of \mathbb Z{\mathbb Z}-Automata

Marie-Pierre Béal, Sylvain Lombardy and Jacques Sakarovitch

Lecture Notes in Computer Science, 2005, Volume 3580, Automata, Languages and Programming, Page 61

• Download PDF (204.6 KB)

Book Chapter

The Language, the Expression, and the (Small) Automaton

Jacques Sakarovitch

Lecture Notes in Computer Science, 2006, Volume 3845, Implementation and Application of Automata, Pages 15-30

• Download PDF (519.1 KB)

Book Chapter

A Bialgebraic Approach to Automata and Formal Language Theory

James Worthington

Lecture Notes in Computer Science, 2009, Volume 5407, Logical Foundations of Computer Science, Pages 451-467

• Download PDF (438.2 KB)

Book Chapter

Integration in valued fields

Ehud Hrushovski and David Kazhdan

Progress in Mathematics, 1, Volume 253, Algebraic Geometry and Number Theory, Pages 261-405

• Download PDF (1.0 MB)

Book Chapter

Algebras

Dan A. Simovici and Chabane Djeraba

Advanced Information and Knowledge Processing, 2008, Mathematical Tools for Data Mining, Part I, Pages 57-77

• Download PDF (512.2 KB)

Book Chapter

Semirings and Formal Power Series

Manfred Droste and Werner Kuich

Monographs in Theoretical Computer Science. An EATCS Series, 2009, Handbook of Weighted Automata, Part 1, Pages 3-28

• Download PDF (537.1 KB)

Book Chapter

Quadratic Mappings

2008, Quadratic Mappings and Clifford Algebras, Pages 53-103

• Download PDF (520.8 KB)

Book Chapter

A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata

Marie-Pierre Béal and Dominique Perrin

Lecture Notes in Computer Science, 2009, Volume 5583, Developments in Language Theory, Pages 81-90

• Download PDF (405.0 KB)

Book Chapter

Unfolding Graph Transformation Systems: Theory and Applications to Verification

Paolo Baldan, Andrea Corradini and Barbara König

Lecture Notes in Computer Science, 2008, Volume 5065, Concurrency, Graphs and Models, Pages 16-36

• Download PDF (670.1 KB)