Follow
Sten-Ake Tarnlund
Title
Cited by
Cited by
Year
A first order theory of data and programs
KL Clark, SÅ Tärnlund
Information Processing 77 Proceedings of the IFIP Congress 77, Toronto …, 1977
1751977
Horn clause computability
SÅ Tärnlund
BIT Numerical Mathematics 17 (2), 215-226, 1977
1391977
A natural programming calculus
A Hansson, SA Tarnlund
IJCAI-79: Proceedings of the 6th International Joint Conference on …, 1979
451979
Properties of a logic programming language
Å Hansson, S Haridi, SÅ Tärnlund
Logic Programming, Clark, Keith; Tarnlund, Sten--Ake, (eds.), 1982
441982
Steadfast logic programs
KK Lau, M Ornaghi, SÅ Tärnlund
The journal of logic programming 38 (3), 259-294, 1999
381999
Program transformation by data structure mapping
Å Hansson, SÅ Tärnlund
Logic Programming, Clark, K. L.; Tarnlund, S--A, (eds.), 1982
311982
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
201994
An axiomatic data base theory
SÅ Tärnlund
Advances in Data Base Theory, Gallaire, Hervé; Minker, Jack, (eds.), 259-289, 1978
161978
Logic programming: From a logic point of view
SÅ Tärnlund
SLP-86 Proceedings of the 1986 Symposium on Logic Programming, Salt Lake …, 1986
131986
Logic Programming
SA Tarnlund
Academic Press, 1982
131982
On Logic Programming
SA Tarnlund
IEEE Conference on Automated Theorem Proving, Chicago, 1975
13*1975
Mechanization of an Oracle in a Debugging System
A Edman, SÅ Tärnlund
IJCAI 1983 : Proceedings of the 8th International Joint Conference on …, 1983
121983
Inductive reasoning in mathematics
FM Brown, SÅ Tärnlund
IJCAI 1977: Proceedings of the 5th International Joint Conference on …, 1977
111977
Logic Programming
JP Bowen, R Kowalski, KL Clark, SA Tarnlund
Proceedings of the, 1999
101999
Logic information processing
SÅ Tärnlund
The Royal Institute of Technology, Sweden, TRITA-IBADB-1034, 1975
101975
Inductive reasoning on recursive equations
F M Brown, SA Tarnlund
Artificial Intelligence 12 (3), 207-229, 1979
91979
An interpreter for the programming language predicate locic
SA Tarnlund
Proceeding IJCAI-75 Proceedings of the 4th international joint conference on …, 1975
91975
Some aspects on a logic machine prototype
Å Hansson, S Haridi, SÅ Tärnlund
Logic Programming Workshop Debrecen Hungary, Tarnlund, Sten-Ake (Ed.), 1980
81980
Open and closed models of understanding in conditional reasoning
G Hagert, Y Waern, SÅ Tärnlund
Acta Psychologica 52 (1), 41-59, 1982
71982
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
71980
The system can't perform the operation now. Try again later.
Articles 1–20