Kees Doets

Available identifiers

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	2003-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q4789460	2003-01-29	Paper
Monotone quantifiers: Interpolation and preservation	2001-03-12	Paper
Relatives of the Russell Paradox	1999-11-07	Paper
Elementary Properties of the Finite Ranks	1998-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4342090	1997-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5687548	1996-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4318616	1995-01-09	Paper
A new definition of SLDNF-resolution	1994-09-18	Paper
Levationis Laus	1994-04-27	Paper
Left termination turned into termination	1994-04-05	Paper
A slight strengthening of a theorem of Blair and Kunen	1992-09-27	Paper
Axiomatizing universal properties of quantifiers	1992-06-27	Paper
Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties	1989-01-01	Paper
On n-equivalence of binary trees	1987-01-01	Paper

This page was built for person: Kees Doets