Marianne Baudinet

According to our database, Marianne Baudinet authored at least 7 papers between 1989 and 1999.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1999

Constraint-Generating Dependencies.

Marianne Baudinet, Jan Chomicki, Pierre Wolper

J. Comput. Syst. Sci., 1999

1995

On the Expressiveness of Temporal Logic Programming

Marianne Baudinet

Inf. Comput., March, 1995

1993

Temporal Deductive Databases.

Marianne Baudinet, Jan Chomicki, Pierre Wolper

Proceedings of the Temporal Databases: Theory, Design, and Implementation., 1993

1992

Proving Termination Properties of Prolog Programs: A Semantic Approach.

Marianne Baudinet

J. Log. Program., 1992

1991

On the Representation of Infinite Temporal Data and Queries.

Marianne Baudinet, Marc Niézette, Pierre Wolper

Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

1989

Logic programming semantics: techniques and applications.

Marianne Baudinet

PhD thesis, 1989

Temporal Logic Programming is Complete and Expressive.

Marianne Baudinet

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989