1 |
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
|
|
2 |
Closed World Data Exchange
|
|
|
|
In: http://www.informatik.hu-berlin.de/%7Ehernich/pub/tods11.pdf (2011)
|
|
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 |
Regular languages of nested words: Fixed points, automata, and synchronization
|
|
|
|
In: http://homepages.inf.ed.ac.uk/libkin/papers/icalp07.pdf
|
|
BASE
|
|
Show details
|
|
7 |
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
|
|
8 |
Regular languages of nested words: Fixed points, automata, and synchronization
|
|
|
|
In: http://web.ing.puc.cl/~marenas/publications/icalp07.pdf
|
|
BASE
|
|
Show details
|
|
9 |
Synchronizing Relations on Words
|
|
|
|
In: http://homepages.inf.ed.ac.uk/libkin/papers/stacs14.pdf
|
|
BASE
|
|
Show details
|
|
10 |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
|
|
|
|
In: http://www.dcc.uchile.cl/~pbarcelo/paper22-ABL.pdf
|
|
BASE
|
|
Show details
|
|
|
|