 | 
| |
Online DBLP entries are available for Michael Benedikt and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
-
Michael Benedikt,
Leonid
Libkin: Safe Constraint Queries.
PODS
1998: 99-108
-
Michael Benedikt,
Guozhu
Dong,
Leonid
Libkin,
Limsoon
Wong: Relational Expressive Power of Constraint Query Languages.
JACM
45(1): 1-34 (1998)
-
Michael Benedikt,
H.
Jerome Keisler: Expressive Power of Unary Counters.
ICDT
1997: 291-305
-
Michael Benedikt,
Leonid
Libkin: Languages for Relational Databases over Interpreted Structures.
PODS
1997: 87-98
-
Michael Benedikt,
Leonid
Libkin: On the Structure of Queries in Constraint Query Languages.
LICS
1996: 25-34
-
Michael Benedikt,
Timothy
Griffin,
Leonid
Libkin: Verifiable Properties of Database Transactions.
PODS
1996: 117-127
-
Michael Benedikt,
Guozhu
Dong,
Leonid
Libkin,
Limsoon
Wong: Relational Expressive Power of Constraint Query Languages.
PODS
1996: 5-16
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
