6 citations · 6 across the 1 of their papers we have counts for
1 paper
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).