Jussi Ketonen

Publication Activity (10 Years)

Years Active: 1972-1992
Publications (10 Years): 0

Publications

Gianluigi Bellin, Jussi Ketonen
A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation. Theor. Comput. Sci. 95 (1) (1992)
Jussi Ketonen
EKL - A Mathematically Oriented Proof Checker. CADE (1984)
Jussi Ketonen, Richard W. Weyhrauch
A Decidable Fragment of Predicate Calculus. Theor. Comput. Sci. 32 (1984)
Jussi Ketonen
On Nonregular Ultrafilters. J. Symb. Log. 37 (1) (1972)