2 citations · 2 across the 4 of their papers we have counts for
6 papers
Diachronic Analysis of German Parliamentary Proceedings: Ideological Shifts through the Lens of Political Biases
Tobias Walter, Celina Kirschner, Steffen Eger +3
We analyze bias in historical corpora as encoded in diachronic distributional semantic models by focusing on two specific forms of bias, namely a political (i.e., anti-communism) a…
Parikh-reducing Church-Rosser representations for some classes of regular languages
Tobias Walter
In this paper the concept of Parikh-reducing Church-Rosser systems is studied. It is shown that for two classes of regular languages there exist such systems which describe the lan…
Characterizing classes of regular languages using prefix codes of bounded synchronization delay
Volker Diekert, Tobias Walter
In this paper we continue a classical work of Schützenberger on codes with bounded synchronization delay. He was interested to characterize those regular languages where the groups…
Level Two of the Quantifier Alternation Hierarchy over Infinite Words
Manfred Kufleitner, Tobias Walter
The study of various decision problems for logic fragments has a long history in computer science. This paper is on the membership problem for a fragment of first-order logic over…
One Quantifier Alternation in First-Order Logic with Modular Predicates
Manfred Kufleitner, Tobias Walter
Adding modular predicates yields a generalization of first-order logic FO over words. The expressive power of FO[<,MOD] with order comparison and predicates for $x \equiv i \…
Regular Languages are Church-Rosser Congruential
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt +1
This paper proves a long standing conjecture in formal language theory. It shows that all regular languages are Church-Rosser congruential. The class of Church-Rosser congruential…