Logics for Unranked Trees: An Overview
From MaRDI portal
Publication:5310661
DOI10.2168/LMCS-2(3:2)2006zbMath1126.03039MaRDI QIDQ5310661
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
68P15: Database theory
68Q45: Formal languages and automata
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Streamable Fragments of Forward XPath, Temporal logics for concurrent recursive programs: satisfiability and model checking, A Büchi-like theorem for weighted tree automata over multioperator monoids, Dominance constraints in stratified context unification, Regular expressions for data words, Weighted logics for unranked tree automata, Capturing MSO with One Quantifier, Tree Automata with Global Constraints, Tree Pattern Rewriting Systems