Infinitary axiomatization of the equational theory of context-free languages

Niels Bjørn Bugge Grathwohl; Fritz Henglein; Dexter Kozen

doi:10.3233/FI-2017-1469

Infinitary axiomatization of the equational theory of context-free languages

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen

Datalogisk Institut

1 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Fundamenta Informaticae
Vol/bind	150
Udgave nummer	3-4
Sider (fra-til)	241-257
Antal sider	17
ISSN	0169-2968
DOI	https://doi.org/10.3233/FI-2017-1469
Status	Udgivet - 2017

Adgang til dokumentet

10.3233/FI-2017-1469

Citationsformater

@article{38e6add09861463dbfaffbdef7a6cdb1,

title = "Infinitary axiomatization of the equational theory of context-free languages",

keywords = "Context free languages, Kleene algebra, algebraically complete semirings, Conway semirings, mu-semiring",

author = "Grathwohl, {Niels Bj{\o}rn Bugge} and Fritz Henglein and Dexter Kozen",

year = "2017",

doi = "10.3233/FI-2017-1469",

language = "English",

volume = "150",

pages = "241--257",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "I O S Press",

number = "3-4",

}

TY - JOUR

T1 - Infinitary axiomatization of the equational theory of context-free languages

AU - Grathwohl, Niels Bjørn Bugge

AU - Henglein, Fritz

AU - Kozen, Dexter

PY - 2017

Y1 - 2017

KW - Context free languages

KW - Kleene algebra

KW - algebraically complete semirings

KW - Conway semirings

KW - mu-semiring

U2 - 10.3233/FI-2017-1469

DO - 10.3233/FI-2017-1469

M3 - Journal article

SN - 0169-2968

VL - 150

SP - 241

EP - 257

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

IS - 3-4

ER -

Infinitary axiomatization of the equational theory of context-free languages

Adgang til dokumentet

Fingeraftryk

Citationsformater