Sten-ke Trnlund
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
1974–1994
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | ICLP | The Halting Problem for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi, Sten-ke Trnlund |
| 1988 | ECAI | What is Computation? (Panel Introduction). | Jrg H. Siekmann, Sten-ke Trnlund, Aaron Sloman, Andy Clark, Margaret A. Boden |
| 1988 | ECAI | Computations as Inferences (Panel Statement). | Sten-ke Trnlund |
| 1983 | IJCAI | Mechanization of an Oracle in a Debugging System. | Anneli Edman, Sten-ke Trnlund |
| 1982 | ICLP | Towards a Derivation Editor. | Agneta Eriksson, Anna-Lena Johansson, Sten-ke Trnlund |
| 1981 | IJCAI | Deductive Modeling of Human Cognition. | Gran Hagert, Sten-ke Trnlund |
| 1979 | IJCAI | A Natural Programming Calculus. | ke Hansson, Sten-ke Trnlund |
| 1977 | IJCAI | Inductive Reasoning in Mathematics. | Frank M. Brown, Sten-ke Trnlund |
| 1975 | IJCAI | An Interpreter For The Programming Languages Predicate Logic. | Sten-ke Trnlund |
| 1974 | GI | A Structured Database. | Sten-ke Trnlund |