On the use of guards for logics with data

DOI10.1007/978-3-642-22993-0_24MaRDI QIDQ3088044zbMATH OpenOpenAlexFDO

Authors Thomas Colcombet, Clemens Ley, Gabriele Puppis

Publication date 17 August 2011

Published in Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22993-0_24

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Logics with rigidly guarded data tests
• Data monoids
• Nominal monoids
• Automata vs. Logics on Data Words
• Automata and Logics for Words and Trees over an Infinite Alphabet

Cited in

(5)

• Data monoids
• Logics with rigidly guarded data tests
• Weighted register automata and weighted logic on data words
• Regular expressions for data words
• Nominal monoids

This page was built for publication: On the use of guards for logics with data

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