Satisfiability of a Spatial Logic with Tree Variables

DOI10.1007/978-3-540-74915-8_13zbMath1179.03036OpenAlexW1517909403MaRDI QIDQ3608409

Jean-Marc Talbot, Emmanuel Filiot, Sophie Tison

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_13

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05)

Related Items (4)

Tree Automata with Global Constraints ⋮ Rigid tree automata and applications ⋮ Unnamed Item ⋮ Rigid Tree Automata

Uses Software

• CDuce
• XDuce

This page was built for publication: Satisfiability of a Spatial Logic with Tree Variables