|
СТ |
On T Logic Programming |
1997 |
Dovier A., Formisano A., Policriti A. |
|
|
|
Logic Programming |
05.03.1998 |
|
СТ |
Minimal Set Unification |
1995 |
Arenas-Sanchez P., Dovier A. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Embedding Extensional Finite Sets in CLP |
1993 |
Dovier A., Rossi G. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
21.09.1994 |
|
СТ |
{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 |
|
СТ |
A Language with Finite Sets Embedded in the CLP-scheme |
1994 |
Dovier A. |
|
|
|
Lecture Notes in Artificial Intelligence |
30.06.1994 |
|
СТ |
A WAM-Based Implementation of a Logic Language with Sets |
1993 |
Dovier A., Pontelli E. |
|
|
|
Lecture Notes in Computer Science |
22.09.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 |
