|
Search the dblp DataBase
Jussi Ketonen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jussi Ketonen
EKL - A Mathematically Oriented Proof Checker. [Citation Graph (0, 0)][DBLP] CADE, 1984, pp:65-79 [Conf]
- Jussi Ketonen
On Nonregular Ultrafilters. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1972, v:37, n:1, pp:71-74 [Journal]
- Gianluigi Bellin, Jussi Ketonen
A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:95, n:1, pp:115-142 [Journal]
- Jussi Ketonen, Richard W. Weyhrauch
A Decidable Fragment of Predicate Calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:32, n:, pp:297-307 [Journal]
Search in 0.010secs, Finished in 0.010secs
|