Items where Author is "Doets, Kees"

Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 6.


PP-2000-05: Doets, Kees (2000) Short Proof(s) for Classical Theorems. [Report]

ML-1996-04: Doets, Kees (1996) Proper Classes. [Report]

CT-1992-03: Apt, Krzysztof R. and Doets, Kees (1992) A new Definition of SLDNF-resolution. [Report]

CT-1991-08: Doets, Kees (1991) Levationis Laus. [Report]

CT-1990-07: Doets, Kees (1990) Greatest Fixed Points of Logic Programs. [Report]


HDS-19: Doets, Kees (2016) Completeness and Definability. Doctoral thesis, University of Amsterdam.

This list was generated on Mon Jan 17 00:30:34 2022 CET.