Back to Results
First PageMeta Content
Metalogic / Model theory / Structure / Universal algebra / FO / Probabilistically checkable proof / String / Data integration / Conjunctive query / Mathematics / Formal languages / Theoretical computer science


Expressive Languages for Path Queries over Graph-Structured Data Pablo Barcelo´ Carlos Hurtado
Add to Reading List

Document Date: 2010-04-02 11:57:56

Open Document

File Size: 225,75 KB

Share Result on Facebook

City

Indianapolis / /

Country

United States / /

Currency

USD / /

/

IndustryTerm

polynomial-time algorithm / web-derived knowledge / biological applications / state systems / abstract devices / cross product / evaluation algorithm / web associations / semantic web / infinite-state systems / route-finding applications / emptiness algorithm / semantic web associations / /

Organization

Univ. of Edinburgh Dept. of CS / Univ. of Chile Fac / V Q / /

Person

Pablo Barcelo´ Carlos Hurtado / Van Gucht / Leonid Libkin / /

Position

vp / head / Automata General / /

ProvinceOrState

Indiana / /

Technology

emptiness algorithm / Perl / RDF / evaluation algorithm / polynomial-time algorithm / /

SocialTag