Sten-Åke Tärnlund

Sten-Åke Tarnlund, Sten-Ake Tärnlund

	2008
17		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

Coauthor Index

1	Margaret A. Boden	[13]
2	Frank M. Brown	[5] [7]
3	Andy Clark	[13]
4	Keith L. Clark	[6]
5	Anneli Edman	[10]
6	Agneta Eriksson	[9]
7	Göran Hagert	[8]
8	Anna-Lena Johansson	[9]
9	Kung-Kiu Lau	[15] [16]
10	Håkan Millroth	[14]
11	Mario Ornaghi	[15] [16]
12	Jörg H. Siekmann	[13]
13	Aaron Sloman	[13]

Colors in the list of coauthors