A first order theory of data and programs KL Clark, SÅ Tärnlund Information Processing 77 Proceedings of the IFIP Congress 77, Toronto …, 1977 | 177 | 1977 |
Horn clause computability SÅ Tärnlund BIT Numerical Mathematics 17 (2), 215-226, 1977 | 143 | 1977 |
Properties of a logic programming language Å Hansson, S Haridi, SÅ Tärnlund Logic Programming, Clark, Keith; Tarnlund, Sten--Ake, (eds.), 1982 | 45 | 1982 |
A natural programming calculus A Hansson, SA Tarnlund IJCAI-79: Proceedings of the 6th International Joint Conference on …, 1979 | 44 | 1979 |
Steadfast logic programs KK Lau, M Ornaghi, SÅ Tärnlund The journal of logic programming 38 (3), 259-294, 1999 | 38 | 1999 |
Program transformation by data structure mapping Å Hansson, SÅ Tärnlund Logic Programming, Clark, K. L.; Tarnlund, S--A, (eds.), 1982 | 32 | 1982 |
The Halting Problem for Deductive Synthesis of Logic Programs. KK Lau, M Ornaghi, SÅ Tärnlund ICLP-94 Proceedings of the Eleventh International Conference on Logic …, 1994 | 21 | 1994 |
An axiomatic data base theory SÅ Tärnlund Advances in Data Base Theory, Gallaire, Hervé; Minker, Jack, (eds.), 259-289, 1978 | 16 | 1978 |
Logic programming: From a logic point of view SÅ Tärnlund SLP-86 Proceedings of the 1986 Symposium on Logic Programming, Salt Lake …, 1986 | 13 | 1986 |
Mechanization of an Oracle in a Debugging System A Edman, SÅ Tärnlund IJCAI 1983 : Proceedings of the 8th International Joint Conference on …, 1983 | 12 | 1983 |
Logic Programming SA Tarnlund Academic Press, 1982 | 12 | 1982 |
Inductive reasoning in mathematics FM Brown, SÅ Tärnlund IJCAI 1977: Proceedings of the 5th International Joint Conference on …, 1977 | 12 | 1977 |
On Logic Programming SA Tarnlund IEEE Conference on Automated Theorem Proving, Chicago, 1975 | 12* | 1975 |
Logic information processing SÅ Tärnlund The Royal Institute of Technology, Sweden, TRITA-IBADB-1034, 1975 | 10 | 1975 |
Logic Programming A Colmerauer, K Clark, SA Tärnlund APIC Studies in Data Processing, KL Clark and S.-A. Tärnlund eds, 231-251, 1982 | 9 | 1982 |
Inductive reasoning on recursive equations F M Brown, SA Tarnlund Artificial Intelligence 12 (3), 207-229, 1979 | 9 | 1979 |
An interpreter for the programming language predicate locic SA Tarnlund Proceeding IJCAI-75 Proceedings of the 4th international joint conference on …, 1975 | 9 | 1975 |
Open and closed models of understanding in conditional reasoning G Hagert, Y Waern, SÅ Tärnlund Acta Psychologica 52 (1), 41-59, 1982 | 8 | 1982 |
Program Transformation by a Function that Maps Simple Lists into D-Lists A Hansson, SA Tarnlund Logic Programming Workshop, Debrecen, Hungary; Tarnlund, Sten-Ake (Ed.), 1980 | 7 | 1980 |
Some aspects on a logic machine prototype Å Hansson, S Haridi, SÅ Tärnlund Logic Programming Workshop Debrecen Hungary, Tarnlund, Sten-Ake (Ed.), 1980 | 7 | 1980 |