Tobias Walter

Identifiers

• name variant Tobias Walter 0.60 · backfill

Papers (5)

1. Parikh-reducing Church-Rosser representations for some classes of regular languages cs.FL · 2017 · author #1
2. Characterizing classes of regular languages using prefix codes of bounded synchronization delay cs.FL · 2016 · author #2
3. Level Two of the Quantifier Alternation Hierarchy over Infinite Words cs.FL · 2015 · author #2
4. One Quantifier Alternation in First-Order Logic with Modular Predicates cs.FL · 2013 · author #2
5. Regular Languages are Church-Rosser Congruential cs.FL · 2012 · author #4

Mentions

• 1509.06207 #2 · backfill · confidence 0.70 Tobias Walter
• 1310.5043 #2 · backfill · confidence 0.70 Tobias Walter
• 1202.1148 #4 · backfill · confidence 0.70 Tobias Walter

Frequent Coauthors

• Manfred Kufleitner 3 shared papers
• Volker Diekert 2 shared papers
• Klaus Reinhardt 1 shared papers