Sten-Åke Tärnlund

19 papers A* 5A 2B 3Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2008 J jnl
P is not equal to NP
CoRR
Sten-Åke Tärnlund
1999 J jnl
Steadfast Logic Programs.
J. Log. Program.
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
1994 B conf
The Halting Problem for Deductive Synthesis of Logic Programs.
ICLP
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
1990 — conf
Parallel Reform Computations.
Dagstuhl Seminar on Parallelization in Inference Systems
Sten-Åke Tärnlund, Håkan Millroth
1988 A conf
Computations as Inferences (Panel Statement).
ECAI
Sten-Åke Tärnlund
1988 A conf
What is Computation? (Panel Introduction).
ECAI
Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden
1986 — conf
Logic Programming-From a Logic Point of View.
SLP
Sten-Åke Tärnlund
1984 B ed.
Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984
ICLP
Sten-Åke Tärnlund
1983 A* conf
Mechanization of an Oracle in a Debugging System.
IJCAI
Anneli Edman, Sten-Åke Tärnlund
1982 B conf
Towards a Derivation Editor.
ICLP
Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund
1981 A* conf
Deductive Modeling of Human Cognition.
IJCAI
Göran Hagert, Sten-Åke Tärnlund
1979 A* conf
A Natural Programming Calculus.
IJCAI
Åke Hansson, Sten-Åke Tärnlund
1979 J jnl
Inductive Reasoning on Recursive Equations.
Artif. Intell.
Frank M. Brown, Sten-Åke Tärnlund
1977 — conf
A First Order Theory of Data and Programs.
IFIP Congress
Keith L. Clark, Sten-Åke Tärnlund
1977 — conf
An Axiomatic Data Base Theory.
Logic and Data Bases
Sten-Åke Tärnlund
1977 J jnl
Horn Clause Computability.
BIT
Sten-Åke Tärnlund
1977 A* conf
Inductive Reasoning in Mathematics.
IJCAI
Frank M. Brown, Sten-Åke Tärnlund
1975 A* conf
An Interpreter For The Programming Languages Predicate Logic.
IJCAI
Sten-Åke Tärnlund
1974 — conf
A Structured Database.
GI Jahrestagung
Sten-Åke Tärnlund