Marianne Baudinet

According to our database, Marianne Baudinet authored at least 7 papers between 1988 and 1995.

Collaborative distances:

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

1995

On the Expressiveness of Temporal Logic Programming

Marianne Baudinet

Inf. Comput., March, 1995

1994

Constraint-Generating Dependencies.

Marianne Baudinet, Jan Chomicki, Pierre Wolper

Proceedings of the Principles and Practice of Constraint Programming, 1994

1993

Temporal Deductive Databases.

Marianne Baudinet, Jan Chomicki, Pierre Wolper

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

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

1988

Proving Termination Properties of Prolog Programs: A Semantic Approach

Marianne Baudinet

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988