Tree Automata with Equality Constraints Modulo Equational Theories

DOI10.1007/11814771_45MaRDI QIDQ3613434zbMATH OpenOpenAlexFDO

Authors Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00579011/file/rr-lsv-2006-07.pdf

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Automata and formal grammars in connection with logical questions (03D05) Grammars and rewriting systems (68Q42)

Recommendations

• Tree automata with equality constraints modulo equational theories
• scientific article; zbMATH DE number 1841842
• Bottom-Up Tree Automata with Term Constraints
• Equality and disequality constraints on direct subterms in tree automata
• Propositional Tree Automata

Cited in

(18)

• Tree automata with equality constraints modulo equational theories
• Tree automata, (dis-)equality constraints and term rewriting. What's new?
• Protocol Verification Via Rigid/Flexible Resolution
• Languages Modulo Normalization
• Propositional Tree Automata
• Tree Automata with Global Constraints
• Superposition for Fixed Domains
• TAGED Approximations for Temporal Properties Model-Checking
• scientific article; zbMATH DE number 1136085 (Why is no real title available?)
• scientific article; zbMATH DE number 2043529 (Why is no real title available?)
• scientific article; zbMATH DE number 1512627 (Why is no real title available?)
• scientific article; zbMATH DE number 2150281 (Why is no real title available?)
• scientific article; zbMATH DE number 1841842 (Why is no real title available?)
• Harald Ganzinger's legacy: contributions to logics and programming
• Encompassment properties and automata with constraints
• Equality and disequality constraints on direct subterms in tree automata
• Tree automata-based refinement with application to Horn clause verification
• Rigid tree automata and applications

This page was built for publication: Tree Automata with Equality Constraints Modulo Equational Theories

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