| 1 |
Existential Rules: A Graph-Based View
|
|
|
|
In: Datalog 2.0 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763474 ; Pablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩ ; http://www.dbai.tuwien.ac.at/datalog2.0/ (2012)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Graph logics with rational relations and the generalized intersection problem
|
|
|
|
In: http://homepages.inf.ed.ac.uk/libkin/papers/lics12.pdf (2012)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Graph Logics with Rational Relations and the Generalized Intersection Problem
|
|
|
|
In: http://homepages.inf.ed.ac.uk/dfigueir/etc/lics12.pdf
|
|
BASE
|
|
Show details
|
|
|
| 4 |
GRAPH LOGICS WITH RATIONAL RELATIONS
|
|
|
|
In: http://homepages.inf.ed.ac.uk/libkin/papers/lmcs2013.pdf
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
|
|
|
|
In: http://homepages.inf.ed.ac.uk/libkin/papers/tocs11.pdf
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Theory Comput Syst DOI 10.1007/s00224-010-9292-5 Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
|
|
|
|
In: http://web.ing.puc.cl/~marenas/publications/tocsb.pdf
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
|
|
|
|
In: http://www.dcc.uchile.cl/~pbarcelo/paper22-ABL.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
