Items where Author is "Doets, Kees"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 6.

Report

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]

Thesis

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

This list was generated on Thu Nov 21 00:30:39 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility