| 2006 |
|---|
| 5 | EE | Eugénie Foustoucos,
Irène Guessarian:
Complexity of Monadic inf-datalog. Application to temporal logic
CoRR abs/cs/0603122: (2006) |
| 2005 |
|---|
| 4 | EE | Foto N. Afrati,
Stavros S. Cosmadakis,
Eugénie Foustoucos:
Datalog programs and their persistency numbers.
ACM Trans. Comput. Log. 6(3): 481-518 (2005) |
| 3 | EE | Foto N. Afrati,
Theodore Andronikos,
Vassia Pavlaki,
Eugénie Foustoucos,
Irène Guessarian:
On relating CTL to Datalog
CoRR abs/cs/0510012: (2005) |
| 2003 |
|---|
| 2 | EE | Irène Guessarian,
Eugénie Foustoucos,
Theodore Andronikos,
Foto N. Afrati:
On temporal logic versus datalog.
Theor. Comput. Sci. 1(303): 103-133 (2003) |
| 1995 |
|---|
| 1 | | Eugénie Foustoucos,
S. Kazem Lellahi,
Nicolas Spyratos:
An Algebraic semantics for Datalog.
JFPLC 1995: 225-239 |
