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
Institutions
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.46298/lmcs-18(1:29)2022
- DOI: 10.18154/RWTH-2022-01916
- RWTH PUBLICATIONS: RWTH-2022-01916