Back to Results
First PageMeta Content
Formal languages / Model theory / First-order logic / Predicate logic / Golden ratio / Well-formed formula / Binary tree / Function / Linear temporal logic / Logic / Mathematics / Mathematical logic


Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France
Add to Reading List

Document Date: 2011-04-14 03:17:50

Open Document

File Size: 213,98 KB

Share Result on Facebook

City

INRIA / /

Country

France / /

Currency

pence / /

IndustryTerm

satisfiability algorithm / satisfiability-testing algorithm / /

Organization

IEEE Computer Society / /

Person

Thomas Wilke / Moshe Y. Vardi / Pablo Barcel / Erich Gr¨adel / Leonid Libkin / Giuseppe De Giacomo / Diego Calvanese / Wolfgang Thomas / Maurizio Lenzerini / /

Position

Qualifier / /

Product

T10 / /

ProgrammingLanguage

XPath / XML / XML schema / /

PublishedMedium

Logical Methods in Computer Science / /

Technology

5.2 The Algorithm The algorithm / XML / satisfiability algorithm / satisfiability-testing algorithm / key technology / /

SocialTag