Residuality and Learning for Nondeterministic Nominal Automata

Moerman, Joshua (Corresponding author); Sammartino, Matteo (Corresponding author)

Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig (2022)
Journal Article

In: Logical methods in computer science : LMCS
Volume: 18
Issue: 1
Page(s)/Article-Nr.: 29