grathwohl_infinitary_2013:
  type: article
  title: Infinitary {Axiomatization} of the {Equational} {Theory} of {Context}-{Free} {Languages}
  author:
  - Grathwohl, Niels Bjørn Bugge
  - Henglein, Fritz
  - Kozen, Dexter
  date: 2013-08
  page-range: 44-55
  url:
    value: http://arxiv.org/abs/1309.0893
    date: 2023-11-28
  serial-number:
    doi: 10.4204/EPTCS.126.4
    issn: 2075-2180
  note: arXiv:1309.0893 [cs]
  abstract: We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Lei\{{\\}ss\} (1992).
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    volume: 126