arXiv subjects

Niels Bjørn Bugge Grathwohl

Publications and source records attributed to Niels Bjørn Bugge Grathwohl.

1 recordsLinked to original sources

arXiv2013

We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).

cs.FL↗