Residuality and Learning for Nondeterministic Nominal Automata

Joshua Moerman^*, Matteo Sammartino^*

^*Corresponding author for this work

Department of Computer Science

Research output: Contribution to journal › Article › Academic › peer-review

1 Conference Article in proceeding

1 results

2020
Residual Nominal Automata
Moerman, J. & Sammartino, M., 1 Aug 2020, CONCUR 2020: 31st International Conference on Concurrency Theory. Konnov, I. & Kovács, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 44:1-44:21 21 p. 44
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Open Access