|
СТ |
A Robust Logical and Computational Characterization of Peer-to-Peer Database Systems |
2004 |
Franconi E., Kuper G., Lopatenko A., Serafini L. |
|
|
|
Lecture Notes in Computer Science |
13.03.2004 |
|
СТ |
Subsumption for XML Types |
2000 |
Kuper G., Simeon J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.2001 |
|
СТ |
Euclid, Tarski, and Engeler Encompassed |
1998 |
Paredaens J., Kuijpers B., Kuper G. |
|
|
|
Lecture Notes in Computer Science |
22.08.1998 |
|
СТ |
Towards the Definition of a Spatial Object-Oriented Data Model with Constraints |
1996 |
Hermosilla L., Kuper G. |
|
|
|
Lecture Notes in Computer Science |
15.02.1996 |
|
СТ |
On the Expressive Power of the Relational Calculus with Arithmetic Constraints |
1990 |
Kuper G. |
|
|
|
Lecture Notes in Computer Science |
16.03.1991 |
