On the use of guards for logics with data

DOI10.1007/978-3-642-22993-0_24zbMATH Open1343.03032OpenAlexW1900538423MaRDI QIDQ3088044FDOQ3088044

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

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

Mathematics Subject Classification ID

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

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)