dblp.uni-trier.dewww.uni-trier.de

Marianne Baudinet Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
9 Marianne Baudinet, Jan Chomicki, Pierre Wolper: Constraint-Generating Dependencies. J. Comput. Syst. Sci. 59(1): 94-115 (1999)
1995
8EEMarianne 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
3EEMarianne 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

Coauthor Index

1Jan Chomicki [5] [6] [8] [9]
2Marc Niézette [3]
3Pierre Wolper [3] [5] [6] [8] [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)