Residual Nominal Automata

Joshua Moerman, Matteo Sammartino

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

1 Article

1 results

2022
Residuality and Learning for Nondeterministic Nominal Automata
Moerman, J. & Sammartino, M., 3 Feb 2022, In: Logical Methods in Computer Science. 18, 1, 28 p., 29.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access