Show simple item record

dc.contributor.authorGrathwohl, Niels Bjørn Bugge
dc.contributor.authorHenglein, Fritz
dc.contributor.authorKozen, Dexter
dc.date.accessioned2013-07-01T13:49:13Z
dc.date.available2013-07-01T13:49:13Z
dc.date.issued2013-07-01
dc.identifier.urihttps://hdl.handle.net/1813/33417
dc.description.abstractWe give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiss (1992).en_US
dc.language.isoen_USen_US
dc.subjectcontext-free languageen_US
dc.subjectcompletenessen_US
dc.titleInfinitary Axiomatization of the Equational Theory of Context-Free Languagesen_US
dc.typetechnical reporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics