Items where Author is "de Nivelle, Hans"

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: 4.

Report

PP-2002-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (2002) Resolution in Modal, Description and Hybrid Logic. [Report]

PP-1999-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (1999) Prefixed Resolution: A Resolution Method for Modal and Description Logics. [Report]

ML-1998-03: de Nivelle, Hans (1998) Decoding the $E^+$-Class by an A Posteriori, Liftable Order. [Report]

CT-1998-01: de Nivelle, Hans (1998) Resolution Decides the Guarded Fragment. [Report]

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