| * | 2008 |
|---|
| 17 | EE | Sten-Åke Tärnlund:
P is not equal to NP
CoRR abs/0810.5056: (2008) |
| 1999 |
|---|
| 16 | | Kung-Kiu Lau,
Mario Ornaghi,
Sten-Åke Tärnlund:
Steadfast Logic Programs.
J. Log. Program. 38(3): 259-294 (1999) |
| 1994 |
|---|
| 15 | | Kung-Kiu Lau,
Mario Ornaghi,
Sten-Åke Tärnlund:
The Halting Problem for Deductive Synthesis of Logic Programs.
ICLP 1994: 665-683 |
| 1990 |
|---|
| 14 | | Sten-Åke Tärnlund,
Håkan Millroth:
Parallel Reform Computations.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 371 |
| 1988 |
|---|
| 13 | | Jörg H. Siekmann,
Sten-Åke Tärnlund,
Aaron Sloman,
Andy Clark,
Margaret A. Boden:
What is Computation? (Panel Introduction).
ECAI 1988: 724 |
| 12 | | Sten-Åke Tärnlund:
Computations as Inferences (Panel Statement).
ECAI 1988: 731 |
| 1986 |
|---|
| 11 | | Sten-Åke Tärnlund:
Logic Programming-From a Logic Point of View.
SLP 1986: 96-103 |
| 1983 |
|---|
| 10 | | Anneli Edman,
Sten-Åke Tärnlund:
Mechanization of an Oracle in a Debugging System.
IJCAI 1983: 553-555 |
| 1982 |
|---|
| 9 | | Agneta Eriksson,
Anna-Lena Johansson,
Sten-Åke Tärnlund:
Towards a Derivation Editor.
ICLP 1982: 146-151 |
| 1981 |
|---|
| 8 | | Göran Hagert,
Sten-Åke Tärnlund:
Deductive Modeling of Human Cognition.
IJCAI 1981: 178-183 |
| 1979 |
|---|
| 7 | | Frank M. Brown,
Sten-Åke Tärnlund:
Inductive Reasoning on Recursive Equations.
Artif. Intell. 12(3): 207-229 (1979) |
| 1977 |
|---|
| 6 | | Keith L. Clark,
Sten-Åke Tärnlund:
A First Order Theory of Data and Programs.
IFIP Congress 1977: 939-944 |
| 5 | | Frank M. Brown,
Sten-Åke Tärnlund:
Inductive Reasoning in Mathematics.
IJCAI 1977: 844-850 |
| 4 | | Sten-Åke Tärnlund:
An Axiomatic Data Base Theory.
Logic and Data Bases 1977: 259-289 |
| 3 | | Sten-Åke Tärnlund:
Horn Clause Computability.
BIT 17(2): 215-226 (1977) |
| 1975 |
|---|
| 2 | | Sten-Åke Tärnlund:
An Interpreter For The Programming Languages Predicate Logic.
IJCAI 1975: 601-608 |
| 1974 |
|---|
| 1 | | Sten-Åke Tärnlund:
A Structured Database.
GI Jahrestagung 1974: 554-562 |
