@article{a69900432faa40ceb46eabe3d38ad8e4,
title = "RESIDUALITY AND LEARNING FOR NONDETERMINISTIC NOMINAL AUTOMATA",
keywords = "Closure, Decidability, Derivative language, Exact learning, Lattice theory, Nominal automata, Residual automata",
author = "Joshua Moerman and Matteo Sammartino",
note = "Funding Information: Key words and phrases: nominal automata, residual automata, derivative language, decidability, closure, exact learning, lattice theory. ∗This is an extended version of the conference paper [MS20]. This research has been partially funded by the ERC AdG project 787914 FRAPPANT and EPSRC Standard Grant CLeVer (EP/S028641/1). Publisher Copyright: {\textcopyright} J. Moerman and M. Sammartino.",
year = "2022",
month = feb,
day = "3",
doi = "10.46298/LMCS-18(1:29)2022",
language = "English",
volume = "18",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "Technischen Universitat Braunschweig",
number = "1",
}