Search Results for author: Emilio Tuosto

Found 1 papers, 0 papers with code

On Learning Nominal Automata with Binders

no code implementations12 Sep 2019 Yi Xiao, Emilio Tuosto

This class of automata captures nominal regular languages; analogously to the classical language theory, nominal automata have been shown to characterise nominal regular expressions with binders.

Cannot find the paper you are looking for? You can Submit a new open access paper.