|
СТ |
Language Extensions for Semantic Integration of Deductive Databases |
1996 |
Asirelli P., Renso C., Turini F. |
|
|
|
Lecture Notes in Computer Science |
28.11.1996 |
|
СТ |
Fully abstract compositional semantics for an algebra of logic programs |
1995 |
Brogi A., Turini F. |
|
|
|
Theoretical Computer Science |
12.09.1996 |
|
СТ |
An Operator for Composing Deductive Data Bases with Theories of Constraints |
1995 |
Aquilino D., Asirelli P., Renso C., Turini F. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
|
СТ |
Modular Logic Programming |
1994 |
Brogi A., Mancarella P., Pedreschi D., Turini F. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.11.1994 |
|
СТ |
Implementation of Program Composition Operations |
1994 |
Brogi A., Chiarelli A., Mancarella P., Mazzotta V., Pedreschi D., Renso C., Turini F. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
Metalogic for State Oriented Programming |
1992 |
Brogi A., Turini F. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
СТ |
Meta for Modularising Logic Programming |
1992 |
Brogi A., Mancarella P., Pedreschi D., Turini F. |
|
|
|
Lecture Notes in Computer Science |
03.02.1993 |
