| |
| 1994 | ||
|---|---|---|
| 3 | Tyko Straßen: Syntactical Models and Fixed Points for the Basic Logic of Proofs. Ann. Math. Artif. Intell. 12(3-4): 291-322 (1994) | |
| 1993 | ||
| 2 | Sergei N. Artëmov, Tyko Straßen: The Logic of the Gödel Proof Predicate. Kurt Gödel Colloquium 1993: 71-82 | |
| 1992 | ||
| 1 | Sergei N. Artëmov, Tyko Straßen: The Basic Logic of Proofs. CSL 1992: 14-28 | |
| 1 | Sergei N. Artëmov | [1] [2] |