@inproceedings{moerman_et_al:LIPIcs:2020:12856,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: nominal automata, residual automata, derivative language, decidability, closure, exact learning, lattice theory},
    Author = {Moerman, Joshua and Sammartino, Matteo},
    BookTitle = {31st International Conference on Concurrency Theory (CONCUR 2020)},
    Editor = {Konnov, Igor and Kov{\'a}cs, Laura},
    File = {Residual Nominal Automata - LIPIcs-CONCUR-2020-44 - a - c.pdf},
    ISBN = {978-3-95977-160-3},
    ISSN = {1868-8969},
    Pages = {44:1--44:21},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{Residual Nominal Automata}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12856},
    Volume = {171},
    Year = {2020},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2020/12856},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.44},
    date-added = {2020-09-04 13:19:52 +0200},
    date-modified = {2020-09-04 13:19:52 +0200},
    urn = {urn:nbn:de:0030-drops-128563},
    doi = {10.4230/LIPIcs.CONCUR.2020.44}
}

@inproceedings{moerman_et_al:LIPIcs:2020:12856, Address = {Dagstuhl, Germany}, Annote = {Keywords: nominal automata, residual automata, derivative language, decidability, closure, exact learning, lattice theory}, Author = {Moerman, Joshua and Sammartino, Matteo}, BookTitle = {31st International Conference on Concurrency Theory (CONCUR 2020)}, Editor = {Konnov, Igor and Kov{\'a}cs, Laura}, File = {Residual Nominal Automata - LIPIcs-CONCUR-2020-44 - a - c.pdf}, ISBN = {978-3-95977-160-3}, ISSN = {1868-8969}, Pages = {44:1--44:21}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{Residual Nominal Automata}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12856}, Volume = {171}, Year = {2020}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2020/12856}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.44}, date-added = {2020-09-04 13:19:52 +0200}, date-modified = {2020-09-04 13:19:52 +0200}, urn = {urn:nbn:de:0030-drops-128563}, doi = {10.4230/LIPIcs.CONCUR.2020.44} }