Sten-Åke Tärnlund

According to our database, Sten-Åke Tärnlund authored at least 18 papers between 1974 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

P is not equal to NP

Sten-Åke Tärnlund

CoRR, 2008

1999

Steadfast Logic Programs.

Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund

J. Log. Program., 1999

1994

The Halting Problem for Deductive Synthesis of Logic Programs.

Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund

Proceedings of the Logic Programming, 1994

1990

Parallel Reform Computations.

Sten-Åke Tärnlund, Håkan Millroth

Proceedings of the Parallelization in Inference Systems, 1990

1988

Computations as Inferences (Panel Statement).

Sten-Åke Tärnlund

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

What is Computation? (Panel Introduction).

Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1986

Logic Programming-From a Logic Point of View.

Sten-Åke Tärnlund

Proceedings of the 1986 Symposium on Logic Programming, 1986

1983

Mechanization of an Oracle in a Debugging System.

Anneli Edman, Sten-Åke Tärnlund

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Towards a Derivation Editor.

Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund

Proceedings of the First International Logic Programming Conference, 1982

1981

Deductive Modeling of Human Cognition.

Göran Hagert, Sten-Åke Tärnlund

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1979

Inductive Reasoning on Recursive Equations.

Frank M. Brown, Sten-Åke Tärnlund

Artif. Intell., 1979

A Natural Programming Calculus.

Åke Hansson, Sten-Åke Tärnlund

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977

Horn Clause Computability.

Sten-Åke Tärnlund

BIT, 1977

Inductive Reasoning in Mathematics.

Frank M. Brown, Sten-Åke Tärnlund

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

A First Order Theory of Data and Programs.

Keith L. Clark, Sten-Åke Tärnlund

Proceedings of the Information Processing, 1977

An Axiomatic Data Base Theory.

Sten-Åke Tärnlund

Proceedings of the Logic and Data Bases, 1977

1975

An Interpreter For The Programming Languages Predicate Logic.

Sten-Åke Tärnlund

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

A Structured Database.

Sten-Åke Tärnlund

Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974