[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || Concatenation of Regular Languages and Descriptional Complexity

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || The Reachability Problem over Infinite Graphs

✍ Frid, Anna; Morozov, Andrey; Rybalchenko, Andrey; Wagner, Klaus W. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 135 KB

[Lecture Notes in Computer Science] Desc

[Lecture Notes in Computer Science] Descriptional Complexity of Formal Systems Volume 7386 || Descriptional Complexity of Biautomata

✍ Kutrib, Martin; Moreira, Nelma; Reis, Rogério 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 248 KB

[Lecture Notes in Computer Science] Impl

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 3317 || State Complexity of Concatenation and Complementation of Regular Languages

✍ Domaratzki, Michael; Okhotin, Alexander; Salomaa, Kai; Yu, Sheng 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 296 KB

This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was

[Lecture Notes in Computer Science] Impl

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 3317 || State Complexity of Concatenation and Complementation of Regular Languages

✍ Domaratzki, Michael; Okhotin, Alexander; Salomaa, Kai; Yu, Sheng 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 296 KB

This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was

[Lecture Notes in Computer Science] Desc

[Lecture Notes in Computer Science] Descriptional Complexity of Formal Systems Volume 7386 || On Inverse Operations and Their Descriptional Complexity

✍ Kutrib, Martin; Moreira, Nelma; Reis, Rogério 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 298 KB

[Lecture Notes in Computer Science] Deve

[Lecture Notes in Computer Science] Developments in Language Theory Volume 6224 || Complexity in Union-Free Regular Languages

✍ Gao, Yuan; Lu, Hanlin; Seki, Shinnosuke; Yu, Sheng 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 237 KB