@inproceedings{Brunet2019,
 author = {Paul Brunet and Alexandra Silva},
 booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)},
 doi = {10.4230/LIPICS.ICALP.2019.107},
 title = {A Kleene Theorem for Nominal Automata},
 year = {2019}
}

{"_id":"FvtkRx7Xj5NT3Ctn3","bibbaseid":"brunet-silva-akleenetheoremfornominalautomata-2019","author_short":["Brunet, P.","Silva, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Brunet"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]}],"booktitle":"International Colloquium on Automata, Languages, and Programming (ICALP)","doi":"10.4230/LIPICS.ICALP.2019.107","title":"A Kleene Theorem for Nominal Automata","year":"2019","bibtex":"@inproceedings{Brunet2019,\n author = {Paul Brunet and Alexandra Silva},\n booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)},\n doi = {10.4230/LIPICS.ICALP.2019.107},\n title = {A Kleene Theorem for Nominal Automata},\n year = {2019}\n}\n\n","author_short":["Brunet, P.","Silva, A."],"key":"Brunet2019","id":"Brunet2019","bibbaseid":"brunet-silva-akleenetheoremfornominalautomata-2019","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["kleene","theorem","nominal","automata","brunet","silva"],"title":"A Kleene Theorem for Nominal Automata","year":2019}