On nominal regular languages with binders

DOI10.1007/978-3-642-28729-9_17MaRDI QIDQ2892775zbMATH OpenOpenAlexFDO

Authors Tomoyuki Suzuki, Alexander Kurz, Emilio Tuosto

Publication date 22 June 2012

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28729-9_17

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions
• Nominal automata with name binding
• Regular expressions for languages over infinite alphabets
• Computing and Combinatorics
• Automata theory in nominal sets

Cited in

(8)

• A class of automata for the verification of infinite, resource-allocating behaviours
• Nominal automata with name binding
• Nominal Kleene coalgebra
• Residuality and learning for nondeterministic nominal automata
• scientific article; zbMATH DE number 7559500 (Why is no real title available?)
• A Kleene theorem for nominal automata
• Regular and context-free nominal traces
• A Theory of Formal Choreographic Languages

Describes a project that uses

Uses Software

• FreshML

This page was built for publication: On nominal regular languages with binders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892775)