Sten-Åke Tärnlund

Publication Activity (10 Years)

Years Active: 1974-2008
Publications (10 Years): 0

Publications

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