![Mathematical logic / Theoretical computer science / Tree automaton / Tree / Linear temporal logic / First-order logic / Finite-state machine / Context-free grammar / T-tree / Automata theory / Mathematics / Formal languages Mathematical logic / Theoretical computer science / Tree automaton / Tree / Linear temporal logic / First-order logic / Finite-state machine / Context-free grammar / T-tree / Automata theory / Mathematics / Formal languages](https://www.pdfsearch.io/img/9a21d3748cfdc4c70c1c155ca3bc273f.jpg)
| Document Date: 2013-09-27 07:35:34 Open Document File Size: 173,23 KBShare Result on Facebook
Company Regional Development Fund / CONCUR / Kt S / / Country Poland / / / Facility University of Warsaw Warsaw / Ordered Data Values Tony Tan University of Edinburgh Edinburgh / / IndustryTerm data centric applications / / OperatingSystem XP / / Organization European Union / University of Warsaw Warsaw / Ordered Data Values Tony Tan University of Edinburgh Edinburgh / / Person L. Libkin / Leonid Libkin / Claire David / D. Suciu / V / F. Patrizi / V / Egor V. Kostylev / / Position author / abstraction model for reasoning tasks on XML and verification / forward / model data automata / / ProgrammingLanguage XPath / XML / / PublishedMedium Theoretical Computer Science / / Technology DTD / XML / Dom / Document Type Definition / / URL http /
SocialTag |