Back to Results
First PageMeta Content
Formal languages / Metalogic / Computability theory / Automata theory / Model theory / Structure / Regular language / Decision problem / Reduction / Theoretical computer science / Mathematics / Applied mathematics


Graph Logics with Rational Relations and the Generalized Intersection Problem Pablo Barcel´o Diego Figueira
Add to Reading List

Document Date: 2012-04-27 14:07:03


Open Document

File Size: 170,83 KB

Share Result on Facebook

City

London / Santiago / Edinburgh / /

Company

IBM / Clarendon Press / R. / /

/

Facility

Computer Science University / I. Arch / Informatics University of Edinburgh libkin@inf.ed.ac.uk Abstract / Informatics University of Edinburgh dfigueir@inf.ed.ac.uk School / /

IndustryTerm

realistic algorithm / lossy channel systems / social networks / direct product / codirect solutions / semantic web / biological networks / View-based query processing / strict codirect solution / /

Organization

University of Edinburgh dfigueir@inf.ed.ac.uk School / Generalized Intersection Problem Pablo Barcel´o Diego Figueira Leonid Libkin Department / U.S. Securities and Exchange Commission / Computer Science University / University of Edinburgh / /

Person

Sylvain Schmitz / A. Deutsch / V / /

Position

author / first author / /

ProgrammingLanguage

XML / /

PublishedMedium

The American Journal of Mathematics / /

Technology

realistic algorithm / PACE algorithm / XML / RDF / /

SocialTag