Residuality and Learning for Nondeterministic Nominal Automata

Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata. Logical Methods in Computer Science, 18(1), 2022. [doi]

Abstract

Abstract is missing.