Automata vs. Logics on Data Words
From MaRDI portal
Publication:3586037
DOI10.1007/978-3-642-15205-4_12zbMath1287.03086OpenAlexW2168901678MaRDI QIDQ3586037
Gabriele Puppis, Michael Benedikt, Clemens Ley
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_12
Related Items (6)
Nominal Automata for Resource Usage Control ⋮ Nominal monoids ⋮ Unnamed Item ⋮ Extending two-variable logic on data trees with order on data values and its automata ⋮ Regular and context-free nominal traces ⋮ Regular expressions for data words
This page was built for publication: Automata vs. Logics on Data Words
