|
СТ |
Algeraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View |
2002 |
Doberkat E. -E., Omodeo E. G. |
|
|
|
Lecture Notes in Computer Science |
15.02.2003 |
|
СТ |
{log}: A Logic Programming Language with Finite Sets |
1991 |
Dovier A., Omodeo E. G., Pontelli E., Rossi G. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
Decision procedures for set/hyperset contexts |
1993 |
Omodeo E. G., Policriti A. |
|
|
|
Lecture Notes in Computer Science |
09.10.1993 |
|
СТ |
Embedding Finite Sets in a Logic Programming Language |
1992 |
Dovier A., Omodeo E. G., Pontelli E., Rossi G. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
