 | 2006 |
|---|
| 5 |       | Torkel Franzén:
What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem?
CiE 2006: 198-198 |
| 2004 |
|---|
| 4 | | Torkel Franzén:
Transfinite progressions: a second look at completeness.
Bulletin of Symbolic Logic 10(3): 367-389 (2004) |
| 1993 |
|---|
| 3 |  | Seif Haridi,
Sverker Janson,
Johan Montelius,
Torkel Franzén,
Per Brand,
Kent Boortz,
Björn Danielsson,
Björn Carlson,
Torbjörn Keisu,
Dan Sahlin,
Thomas Sjöland:
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract).
PPCP 1993: 107-116 |
| 1992 |
|---|
| 2 | | Dan Sahlin,
Torkel Franzén,
Seif Haridi:
An Intuitionistic Predicate Logic Theorem Prover.
J. Log. Comput. 2(5): 619-656 (1992) |
| 1991 |
|---|
| 1 | | Torkel Franzén,
Seif Haridi,
Sverker Janson:
An Overview of the Andorra Kernel Language.
ELP 1991: 163-179 |
