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)

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

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)