Items where Author is "de Nivelle, Hans"

[up] Up a level
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 Thu Apr 18 00:30:29 2024 CEST.
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