Tobias Walter

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Regular languages are Church-Rosser congruential Journal of the ACM	2018-08-02	Paper
Regular languages are Church-Rosser congruential Journal of the ACM	2018-08-02	Paper
Level two of the quantifier alternation hierarchy over infinite words Theory of Computing Systems	2018-06-01	Paper
Characterizing classes of regular languages using prefix codes of bounded synchronization delay	2017-12-19	Paper
Parikh-reducing Church-Rosser representations for some classes of regular languages Theoretical Computer Science	2017-11-06	Paper
Characterizing classes of regular languages using prefix codes of bounded synchronization delay International Journal of Algebra and Computation	2017-11-03	Paper
Level Two of the Quantifier Alternation Hierarchy over Infinite Words Computer Science – Theory and Applications	2016-07-25	Paper
Level Two of the Quantifier Alternation Hierarchy over Infinite Words Computer Science – Theory and Applications	2016-07-25	Paper
Asymptotic approximation for the quotient complexities of atoms Acta Cybernetica	2016-05-03	Paper
One quantifier alternation in first-order logic with modular predicates RAIRO - Theoretical Informatics and Applications	2015-04-15	Paper
Regular languages are Church-Rosser congruential Automata, Languages, and Programming	2012-11-01	Paper

Research outcomes over time

This page was built for person: Tobias Walter