Marianne Baudinet

Publication Activity (10 Years)

Years Active: 1988-1999
Publications (10 Years): 0

Publications

Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. J. Comput. Syst. Sci. 59 (1) (1999)
Marianne Baudinet
On the Expressiveness of Temporal Logic Programming Inf. Comput. 117 (2) (1995)
Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. ICDT (1995)
Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. PPCP (1994)
Marianne Baudinet
Proving Termination Properties of Prolog Programs: A Semantic Approach. J. Log. Program. 14 (1&2) (1992)
Marianne Baudinet, Marc Niézette, Pierre Wolper
On the Representation of Infinite Temporal Data and Queries. PODS (1991)
Marianne Baudinet
Temporal Logic Programming is Complete and Expressive. POPL (1989)
Marianne Baudinet
Proving Termination Properties of Prolog Programs: A Semantic Approach LICS (1988)