|
СТ |
Semantical Properties of Encodings in Logic Programming |
1995 |
Barklund J., Dell Acqua P., Costantini S., Lanzarone G. A. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
24.04.1996 |
|
СТ |
SLD-Resolution with Reflection |
1994 |
Barklund J., Dell Acqua P., Costantini S., Lanzarone G. A. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
|
СТ |
A Basis for a Multilevel Metalogic Programming Language |
1994 |
Barklund J., Boberg K., Dell Acqua P. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Tabulation of Functions in Definite Clause Programs |
1994 |
Barklund J. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
Condition Graphs |
1988 |
Barklund J., Hagner N., Wafin M. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
30.09.1994 |
|
СТ |
Parallel Bounded Quantification - Preliminary Results |
1993 |
Arro H., Barklund J., Bevemyr J. |
|
|
|
SIGPLAN Notices |
29.09.1993 |
|
СТ |
Executing Bounded Quantifications on Shared Memory Multiprocessors |
1993 |
Barklund J., Bevemyr J. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
Prolog with Arrays and Bounded Quantifications |
1993 |
Barklund J., Bevemyr J. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.08.1993 |
