1
NIL
Marianne Baudinet - Recent Publications
2
http://cs.ulb.ac.be/~mb/research/psfiles/Bau95.ps
"On the Expressiveness of Temporal Logic Programming",
In "Information and Computation" , Volume 117, Number 2, March 1995, pages 157--192.
3
http://cs.ulb.ac.be/~mb/research/psfiles/BCW95.ps
"Constraint-Generating Dependencies" ,
In G. Gottlob and M. Vardi, editors, "Database Theory -- ICDT'95, 5th International Conference, Prague, Czech Republic, January 1995, Proceedings", pages 322-- 337, Lecture Notes in Computer Science Volume 893, Springer-Verlag, 1995.
4
http://cs.ulb.ac.be/~mb/research/psfiles/BCW93.ps
"Temporal Databases: Beyond Finite Extensions (Position Paper)",
In R. Snodgrass, editor, "Proceedings of the International Workshop on an Infrastructure for Temporal Databases", Arlington, Texas, pages D1--D10, June 1993.
5
http://cs.ulb.ac.be/~mb/research/psfiles/BCW93b.ps
"Temporal Deductive Databases",
In A.U. Tansel et. al, editors, "Temporal Databases. Theory, Design, and Implementation", Chapter 13, pages 294--320, Benjamin/Cummings, 1993.
6
http://cs.ulb.ac.be/~mb/research/psfiles/Bau92.ps
"A Simple Proof of the Completeness of Temporal Logic Programming",
In Luis Farinas del Cerro and Martti Penttonen, editors, "Intensional Logics for Programming", Oxford Science Publicatons, Oxford University Press, pages 51--83, 1993.
7
http://cs.ulb.ac.be/~mb/research/psfiles/BNW91.ps
"On the Representation of Infinite Temporal Data and Queries",
In "Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems", Denver, Colorado, pages 280--290, May 1991.
8
http://www.informatik.uni-trier.de/~ley/db/journals/jlp/jlp14.html
"Proving Termination Properties of Prolog Programs",
In the "Journal of Logic Programming" , Volume 14, Numbers 1&2, 1992.
Links
This page has been accessed times since December 18, 1995.
mb@cs.ulb.ac.be, Friday February 16, 1996