Completeness and Incompleteness in Nominal Kleene Algebra

AuthID
P-00M-YN2
3
Author(s)
Document Type
Article
Year published
2017
Published
in J. Log. Algebr. Meth. Program.
Volume: 91, Pages: 17-32
Indexing
Publication Identifiers
DBLP: journals/jlp/KozenMS17
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.