Kees Doets

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The Haskell road to logic, maths and programming	2013-03-20	Paper
The Haskell road to logic, maths and programming	2010-06-30	Paper
Uniform short proofs for classical theorems Notre Dame Journal of Formal Logic	2003-10-13	Paper
scientific article; zbMATH DE number 1852930 (Why is no real title available?)	2003-01-29	Paper
Monotone quantifiers: Interpolation and preservation	2001-03-12	Paper
Relatives of the Russell Paradox Mathematical Logic Quarterly	1999-11-07	Paper
Elementary Properties of the Finite Ranks Mathematical Logic Quarterly	1998-09-27	Paper
scientific article; zbMATH DE number 1028827 (Why is no real title available?)	1997-07-08	Paper
scientific article; zbMATH DE number 957948 (Why is no real title available?)	1996-12-15	Paper
scientific article; zbMATH DE number 708499 (Why is no real title available?)	1995-01-09	Paper
A new definition of SLDNF-resolution The Journal of Logic Programming	1994-09-18	Paper
Levationis Laus Journal Of Logic And Computation	1994-04-27	Paper
Left termination turned into termination Theoretical Computer Science	1994-04-05	Paper
A slight strengthening of a theorem of Blair and Kunen Theoretical Computer Science	1992-09-27	Paper
Axiomatizing universal properties of quantifiers Journal of Symbolic Logic	1992-06-27	Paper
Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties Notre Dame Journal of Formal Logic	1989-01-01	Paper
On n-equivalence of binary trees Notre Dame Journal of Formal Logic	1987-01-01	Paper

Research outcomes over time

This page was built for person: Kees Doets