Learning Nominal Automata

AuthID
P-00M-9Y1
5
Author(s)
Moerman, Joshua
·
Klin, Bartek
·
2
Editor(s)
Giuseppe Castagna; Andrew D. Gordon
Document Type
Proceedings Paper
Year published
2017
Published
in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 in POPL
Pages: 613-625
Indexing
Publication Identifiers
Dblp: conf/popl/MoermanS0KS17
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.