Jussi Ketonen

According to our database, Jussi Ketonen authored at least 4 papers between 1972 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1992

A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation.

Gianluigi Bellin, Jussi Ketonen

Theor. Comput. Sci., 1992

1984

A Decidable Fragment of Predicate Calculus.

Jussi Ketonen, Richard W. Weyhrauch

Theor. Comput. Sci., 1984

EKL - A Mathematically Oriented Proof Checker.

Jussi Ketonen

Proceedings of the 7th International Conference on Automated Deduction, 1984

1972

On Nonregular Ultrafilters.

Jussi Ketonen

J. Symb. Log., 1972