On Nominal Regular Languages with Binders

DOI10.1007/978-3-642-28729-9_17zbMath1352.68133OpenAlexW189278745MaRDI QIDQ2892775

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)

Related Items (8)

Nominal Kleene Coalgebra ⋮ A Theory of Formal Choreographic Languages ⋮ Nominal Automata with Name Binding ⋮ Unnamed Item ⋮ Regular and context-free nominal traces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

Uses Software

• Freshml

This page was built for publication: On Nominal Regular Languages with Binders