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
1551977
Horn clause computability
SÅ Tärnlund
BIT Numerical Mathematics 17 (2), 215-226, 1977
1251977
Properties of a logic programming language
Å Hansson, S Haridi, SÅ Tärnlund
Logic Programming, Clark, Keith; Tarnlund, Sten--Ake, (eds.), 1982
451982
A natural programming calculus
A Hansson, SA Tarnlund
IJCAI-79: Proceedings of the 6th International Joint Conference on …, 1979
411979
Steadfast logic programs
KK Lau, M Ornaghi, SÅ Tärnlund
The journal of logic programming 38 (3), 259-294, 1999
361999
Program transformation by data structure mapping
Å Hansson, SÅ Tärnlund
Logic Programming, Clark, K. L.; Tarnlund, S--A, (eds.), 1982
241982
S.-A. T arnlund, eds. Logic Programming
KL Clark
Academic Press, New York, 1982
231982
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
191994
Logic Programming
SA Tarnlund
Academic Press, 1982
121982
An axiomatic data base theory
SÅ Tärnlund
Advances in Data Base Theory, Gallaire, Hervé; Minker, Jack, (eds.), 259-289, 1978
121978
On Logic Programming
SA Tarnlund
IEEE Conference on Automated Theorem Proving, Chicago, 1975
12*1975
Logic Programming
JP Bowen, R Kowalski, KL Clark, SA Tarnlund
Proceedings of the, 1999
111999
Inductive reasoning in mathematics
FM Brown, SÅ Tärnlund
IJCAI 1977: Proceedings of the 5th International Joint Conference on …, 1977
111977
Logic information processing
SÅ Tärnlund
The Royal Institute of Technology, Sweden, TRITA-IBADB-1034, 1975
111975
Mechanization of an Oracle in a Debugging System
A Edman, SÅ Tärnlund
IJCAI 1983 : Proceedings of the 8th International Joint Conference on …, 1983
101983
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
91982
Logic programming: From a logic point of view
SÅ Tärnlund
SLP-86 Proceedings of the 1986 Symposium on Logic Programming, Salt Lake …, 1986
81986
An interpreter for the programming language predicate locic
SA Tarnlund
Proceeding IJCAI-75 Proceedings of the 4th international joint conference on …, 1975
81975
Towards a derivation editor
A Erikson, AL Johansson, SÅ Tärnlund
ICLP 1982 Proceedings of the First International Conference on Logic …, 1983
71983
Some aspects on a logic machine prototype
Å Hansson, S Haridi, SÅ Tärnlund
Logic Programming Workshop Debrecen Hungary, Tarnlund, Sten-Ake (Ed.), 1980
61980
The system can't perform the operation now. Try again later.
Articles 1–20