On Learning Nominal Automata with Binders. Xiao, Y. & Tuosto, E. In Bartoletti, M., Henrio, L., Mavridou, A., & Scalas, A., editors, Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019, volume 304, of EPTCS, pages 137–155, 2019. Paper doi bibtex @inproceedings{DBLP:journals/corr/abs-1909-05974,
author = {Yi Xiao and Emilio Tuosto},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05974.bib},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019, Copenhagen, Denmark, 20-21 June 2019},
date-added = {2021-01-05 14:43:31 +0100},
date-modified = {2021-01-05 14:43:31 +0100},
doi = {10.4204/EPTCS.304.9},
editor = {Massimo Bartoletti and Ludovic Henrio and Anastasia Mavridou and Alceste Scalas},
pages = {137--155},
series = {{EPTCS}},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
title = {On Learning Nominal Automata with Binders},
url = {https://doi.org/10.4204/EPTCS.304.9},
volume = {304},
year = {2019},
Bdsk-Url-1 = {https://doi.org/10.4204/EPTCS.304.9}}
Downloads: 0
{"_id":"YxLfYu7ExjesL2Sjj","bibbaseid":"xiao-tuosto-onlearningnominalautomatawithbinders-2019","author_short":["Xiao, Y.","Tuosto, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yi"],"propositions":[],"lastnames":["Xiao"],"suffixes":[]},{"firstnames":["Emilio"],"propositions":[],"lastnames":["Tuosto"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/journals/corr/abs-1909-05974.bib","booktitle":"Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019","date-added":"2021-01-05 14:43:31 +0100","date-modified":"2021-01-05 14:43:31 +0100","doi":"10.4204/EPTCS.304.9","editor":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Ludovic"],"propositions":[],"lastnames":["Henrio"],"suffixes":[]},{"firstnames":["Anastasia"],"propositions":[],"lastnames":["Mavridou"],"suffixes":[]},{"firstnames":["Alceste"],"propositions":[],"lastnames":["Scalas"],"suffixes":[]}],"pages":"137–155","series":"EPTCS","timestamp":"Tue, 08 Oct 2019 01:00:00 +0200","title":"On Learning Nominal Automata with Binders","url":"https://doi.org/10.4204/EPTCS.304.9","volume":"304","year":"2019","bdsk-url-1":"https://doi.org/10.4204/EPTCS.304.9","bibtex":"@inproceedings{DBLP:journals/corr/abs-1909-05974,\n\tauthor = {Yi Xiao and Emilio Tuosto},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-1909-05974.bib},\n\tbooktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019, Copenhagen, Denmark, 20-21 June 2019},\n\tdate-added = {2021-01-05 14:43:31 +0100},\n\tdate-modified = {2021-01-05 14:43:31 +0100},\n\tdoi = {10.4204/EPTCS.304.9},\n\teditor = {Massimo Bartoletti and Ludovic Henrio and Anastasia Mavridou and Alceste Scalas},\n\tpages = {137--155},\n\tseries = {{EPTCS}},\n\ttimestamp = {Tue, 08 Oct 2019 01:00:00 +0200},\n\ttitle = {On Learning Nominal Automata with Binders},\n\turl = {https://doi.org/10.4204/EPTCS.304.9},\n\tvolume = {304},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://doi.org/10.4204/EPTCS.304.9}}\n\n","author_short":["Xiao, Y.","Tuosto, E."],"editor_short":["Bartoletti, M.","Henrio, L.","Mavridou, A.","Scalas, A."],"key":"DBLP:journals/corr/abs-1909-05974","id":"DBLP:journals/corr/abs-1909-05974","bibbaseid":"xiao-tuosto-onlearningnominalautomatawithbinders-2019","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.304.9"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","dataSources":["RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["learning","nominal","automata","binders","xiao","tuosto"],"title":"On Learning Nominal Automata with Binders","year":2019}