Predicate logic and tree automata with tests

DOI10.1007/3-540-46432-8_22MaRDI QIDQ4508312zbMATH OpenFDO

Authors Ralf Treinen

Publication date 3 October 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46432-8_22

zbMATH Keywords

WS2SWS2Sy

Mathematics Subject Classification ID

Logic in computer science (03B70) Formal languages and automata (68Q45)

Recommendations

• The Complexity of Tree Automata and Logics of Programs
• Infinite trees and automaton-definable relations over -words
• Symbolic tree automata
• Tree Automata with Equality Constraints Modulo Equational Theories
• scientific article; zbMATH DE number 1841832

Cited in

(1)

• Non-structural subtype entailment in automata theory

This page was built for publication: Predicate logic and tree automata with tests

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