Torkel Franzén

Publication Activity (10 Years)

Years Active: 1991-2006
Publications (10 Years): 0

Publications

Torkel Franzén
What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem? CiE (2006)
Torkel Franzén
Transfinite progressions: a second look at completeness. Bull. Symb. Log. 10 (3) (2004)
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)
Dan Sahlin, Torkel Franzén, Seif Haridi
An Intuitionistic Predicate Logic Theorem Prover. J. Log. Comput. 2 (5) (1992)
Torkel Franzén, Seif Haridi, Sverker Janson
An Overview of the Andorra Kernel Language. ELP (1991)