 | 1999 |
|---|
| 9 |       | Marianne Baudinet,
Jan Chomicki,
Pierre Wolper:
Constraint-Generating Dependencies.
J. Comput. Syst. Sci. 59(1): 94-115 (1999) |
| 1995 |
|---|
| 8 |  | Marianne Baudinet,
Jan Chomicki,
Pierre Wolper:
Constraint-Generating Dependencies.
ICDT 1995: 322-337 |
| 7 | | Marianne Baudinet:
On the Expressiveness of Temporal Logic Programming
Inf. Comput. 117(2): 157-180 (1995) |
| 1994 |
|---|
| 6 | | Marianne Baudinet,
Jan Chomicki,
Pierre Wolper:
Constraint-Generating Dependencies.
PPCP 1994: 205-217 |
| 1993 |
|---|
| 5 | | Marianne Baudinet,
Jan Chomicki,
Pierre Wolper:
Temporal Deductive Databases.
Temporal Databases 1993: 294-320 |
| 1992 |
|---|
| 4 | | Marianne Baudinet:
Proving Termination Properties of Prolog Programs: A Semantic Approach.
J. Log. Program. 14(1&2): 1-29 (1992) |
| 1991 |
|---|
| 3 | | Marianne Baudinet,
Marc Niézette,
Pierre Wolper:
On the Representation of Infinite Temporal Data and Queries.
PODS 1991: 280-290 |
| 1989 |
|---|
| 2 | | Marianne Baudinet:
Temporal Logic Programming is Complete and Expressive.
POPL 1989: 267-280 |
| 1988 |
|---|
| 1 | | Marianne Baudinet:
Proving Termination Properties of Prolog Programs: A Semantic Approach
LICS 1988: 336-347 |
