1 citations · 1 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.GN2018
Difference hierarchies and duality with an application to formal languages
Célia Borlido, Mai Gehrke, Andreas Krebs +1
The notion of a difference hierarchy, first introduced by Hausdorff, plays an important role in many areas of mathematics, logic and theoretical computer science such as descriptiv…
cs.FL2018
Visibly Pushdown Languages and Free Profinite Algebras
Silke Czarnetzki, Andreas Krebs, Klaus-Jörn Lange
We build a notion of algebraic recognition for visibly pushdown languages by finite algebraic objects. These come with a typical Eilenberg relationship, now between classes of visi…