Tobias Walter

Available identifiers

zbMath Open walter.tobiasMaRDI QIDQ1635803

List of research outcomes

Publication	Date of Publication	Type
Regular languages are Church-Rosser congruential	2018-08-02	Paper
Level two of the quantifier alternation hierarchy over infinite words	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	2017-11-06	Paper
Characterizing classes of regular languages using prefix codes of bounded synchronization delay	2017-11-03	Paper
Level Two of the Quantifier Alternation Hierarchy over Infinite Words	2016-07-25	Paper
Asymptotic approximation for the quotient complexities of atoms	2016-05-03	Paper
One quantifier alternation in first-order logic with modular predicates	2015-04-15	Paper
Regular languages are Church-Rosser congruential	2012-11-01	Paper

Research outcomes over time

This page was built for person: Tobias Walter