✦ LIBER ✦

[Lecture Notes in Computer Science] Algebraic Informatics Volume 6742 || From Grammars and Automata to Algebras and Coalgebras

✍ Scribed by Winkler, Franz

Book ID: 111866925
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 395 KB
Category: Article
ISBN: 3642214932
DOI: 10.1007/978-3-642-21493-6_2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic Informatics Volume 6742 || Rewriting in Varieties of Idempotent Semigroups

✍ Winkler, Franz 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 253 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic Informatics Volume 6742 || Theme and Variations on the Concatenation Product

✍ Winkler, Franz 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 297 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 6859 || Context-Free Languages, Coalgebraically

✍ Corradini, Andrea; Klin, Bartek; Cîrstea, Corina 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 244 KB

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submi

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic Informatics Volume 5725 || Combinatorics of Finite Words and Suffix Automata

✍ Bozapalidis, Symeon; Rahonis, George 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 192 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic Informatics Volume 6742 || Typed Monoids – An Eilenberg-Like Theorem for Non Regular Languages

✍ Winkler, Franz 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 270 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 || Circular Coinduction: A Proof Theoretical Foundation

✍ Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 332 KB

This Book Constitutes The Proceedings Of The Third International Conference On Algebra And Coalgebra In Computer Science, Calco 2009, Formed In 2005 By Joining Cmcs And Wadt. This Year The Conference Was Held In Udine, Italy, September 7-10, 2009. The 23 Full Papers Were Carefully Reviewed And Selec