Assisted Problem Solving and Decompositions of Finite Automata

Peter Gazi, Branislav Rovan. Assisted Problem Solving and Decompositions of Finite Automata. In Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková, editors, SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings. Volume 4910 of Lecture Notes in Computer Science, pages 292-303, Springer, 2008. [doi]

Abstract

Abstract is missing.