dblp.uni-trier.dewww.uni-trier.de

Sten-Åke Tärnlund Vis

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

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
17EESten-Å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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)