| |
| * | 1992 | |
|---|---|---|
| 4 | Gianluigi Bellin, Jussi Ketonen: A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation. Theor. Comput. Sci. 95(1): 115-142 (1992) | |
| 1984 | ||
| 3 | EE | Jussi Ketonen: EKL - A Mathematically Oriented Proof Checker. CADE 1984: 65-79 |
| 2 | Jussi Ketonen, Richard W. Weyhrauch: A Decidable Fragment of Predicate Calculus. Theor. Comput. Sci. 32: 297-307 (1984) | |
| 1972 | ||
| 1 | Jussi Ketonen: On Nonregular Ultrafilters. J. Symb. Log. 37(1): 71-74 (1972) | |
| 1 | Gianluigi Bellin | [4] |
| 2 | Richard W. Weyhrauch | [2] |