Back to Results
First PageMeta Content
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


An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email:
Add to Reading List

Document Date: 2013-09-27 07:35:34

Open Document

File Size: 173,23 KB

Share 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