×

Found 4 Documents (Results 1–4)

Residual nominal automata. (English) Zbl 07559500

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 44, 21 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Learning nominal automata. (English) Zbl 1380.68243

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 613-625 (2017).
MSC:  68Q32 68N18 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software