Items where Author is "Doets, Kees"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Report
Number of items: 6.


HDS-19: Doets, Kees (2016) Completeness and Definability. [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]

This list was generated on Tue Mar 31 00:31:39 2020 CEST.