Unranked Tree Automata with Sibling Equalities and Disequalities
- 31 December 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Two-variable logic on data trees and XML reasoningPublished by Association for Computing Machinery (ACM) ,2006
- Tree Automata with Equality Constraints Modulo Equational TheoriesLecture Notes in Computer Science, 2006
- Logics for Unranked Trees: An OverviewLecture Notes in Computer Science, 2005
- XML Schema, Tree Logic and Sheaves AutomataLecture Notes in Computer Science, 2003
- Counting and Equality Constraints for Multitree AutomataLecture Notes in Computer Science, 2003
- Automata, Logic, and XMLLecture Notes in Computer Science, 2002
- Verification on Infinite StructuresPublished by Elsevier BV ,2001
- Automata for Reduction Properties SolvingJournal of Symbolic Computation, 1995
- Pumping, cleaning and symbolic constraints solvingLecture Notes in Computer Science, 1994
- Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime FactorsAmerican Journal of Mathematics, 1913