-
1
-
-
0011458495
-
Comparative Semantics of #Log
-
D. Etiemble and J.-C. Syre, editors, Pads, Springer-Verlag
-
K. De Bosschere and J.-M. Jacquet. Comparative Semantics of #Log. In D. Etiemble and J.-C. Syre, editors, Proceedings of the PARLE'92 Conference, volume 605 of Lecture Notes in Computer Science, pages 911-926, Pads, 1992. Springer-Verlag
-
(1992)
Proceedings of the PARLE'92 Conference, Volume 605 of Lecture Notes in Computer Science
, pp. 911-926
-
-
De Bosschere, K.1
Jacquet, J.-M.2
-
3
-
-
0005317112
-
-
SICS technical report Tgl:llB, SICS, Kista, Sweden
-
M. Carlsson, L Widén, J. Andersson, S. Andersson, K. Boortz, H. Nilsson, and T. Sjöand. SICStus Prolog User's Manual. SICS technical report Tgl:llB, SICS, Kista, Sweden, 1991
-
(1991)
Sicstus Prolog User's Manual
-
-
Carlsson, M.1
Widén, L.2
Andersson, J.3
Andersson, S.4
Boortz, K.5
Nilsson, H.6
Sjöand, T.7
-
4
-
-
0002682206
-
Parallel Logic Programming using the Linda model of Computation
-
Goos and Hartmanis, editors,. Springer Verlag, Mont Saint Michel, France, June
-
P. Ciancarini. Parallel Logic Programming using the Linda model of Computation. In Goos and Hartmanis, editors, Proceedings of Research Directions in High-Level Parallel Programming Languages. Springer Verlag, Mont Saint Michel, France, June 1991, pages 110-125
-
(1991)
Proceedings of Research Directions in High-Level Parallel Programming Languages
, pp. 110-125
-
-
Ciancarini, P.1
-
10
-
-
0002747030
-
Contextual Logic Programming
-
G. Levi and M. Martelli, editors, Lisboa, The MIT Press
-
L. Monteiro and A. Porto. Contextual Logic Programming. In G. Levi and M. Martelli, editors, Proc. 6 th Int. Conf. on Logic Programming, pages 284-302, Lisboa, 1989. The MIT Press
-
(1989)
Proc. 6 Th Int. Conf. on Logic Programming
, pp. 284-302
-
-
Monteiro, L.1
Porto, A.2
-
11
-
-
0011464191
-
Delta Prolog: A Distributed Backtracking Extension with Events
-
G. Goos and J. Hartmanis, editors, London, July, Springer Verlag
-
L.M. Pereira, L. Monteim, J. Cunha, and J.N. Aparfcio. Delta Prolog: A Distributed Backtracking Extension with Events. In G. Goos and J. Hartmanis, editors, Proceedings of the Third International Conference on Logic Programming, volume 225 of Lecture Notes in Computer Science, London, July 1986. Springer Verlag
-
(1986)
Proceedings of the Third International Conference on Logic Programming, Volume 225 of Lecture Notes in Computer Science
-
-
Pereira, L.M.1
Monteim, L.2
Cunha, J.3
Aparfcio, J.4
-
12
-
-
0003931061
-
-
Technical Report DAIMI FN- 19, Computer Science Department, Aarhus University
-
G. Plotkin. A Structured Approach to Operational Semantics. Technical Report DAIMI FN- 19, Computer Science Department, Aarhus University, 1981
-
(1981)
A Structured Approach to Operational Semantics
-
-
Plotkin, G.1
|