Search CORE

4 research outputs found

Infinitary axiomatization of the equational theory of context-free languages

Author: Dexter Kozen
Grathwohl Niels Bjørn Bugge
Henglein Fritz
Publication venue: 'Open Publishing Association'
Publication date: 01/01/2013
Field of study

Copenhagen University Research Information System

Infinitary axiomatization of the equational theory of context-free languages

Author: Grathwohl Niels Bjørn Bugge
Henglein Fritz
Kozen Dexter
Publication venue: 'IOS Press'
Publication date: 16/08/2016
Field of study

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

Copenhagen University Research Information System

Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Author: Arnaud Carayol
Barendregt
Beki\'c
Courcelle
David Baelde
Dexter Kozen
Fritz Henglein
Gruska
Hopkins
Hopkins
Kozen
Kozen
Kozen
Leiß
Niels Bjørn Bugge Grathwohl
Winskel
Ésik
Ésik
Publication venue: Open Publishing Association
Publication date: 01/01/2013
Field of study

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

arXiv.org e-Print Archive

Directory of Open Access Journals

eCommons@Cornell

Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Author
Publication venue: 'IOS Press'
Publication date
Field of study

core

core