39 citations · 146 across the 23 of their papers we have counts for
1 paper · 2 filters
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).