scientific article; zbMATH DE number 7561600

DOI10.4230/LIPIcs.ICALP.2019.107MaRDI QIDQ5091269

Paul Brunet, Alexandra Silva

Publication date: 21 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kleene theorembracket algebranominal automata

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Nominal monoids
• Automata for XML -- a survey
• Finite-memory automata
• Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6--10, 2015. Proceedings. Part II
• Regular expressions for data words
• Nominal Sets
• Automata theory in nominal sets
• On Nominal Regular Languages with Binders
• A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions
• A Robust Class of Data Languages and an Application to Learning
• Nominal Automata with Name Binding
• Completeness and Incompleteness in Nominal Kleene Algebra
• Polynomial-time equivalence testing for deterministic fresh-register automata
• Finite state machines for strings over infinite alphabets
• Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes

This page was built for publication: