Searching for authors named Hans de Nivelle – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Refinements Of Resolution - Aanvulling op de syllabus, Resolution in Propositional and Predicate Logic
- …Renements Of Resolution Aanvulling op de syllabus, Resolution in Propositional and Predicate Logic…
- Add To MetaCart
-
Resolution Decides the Guarded Fragment
- …Resolution Decides the Guarded Fragment Hans de Nivelle April 6, 1998 Contents 1 Introduction 1…
- Cited by 4 (0 self) – Add To MetaCart
-
Deciding the E + -class by an a posteriori, liftable order
- …Deciding the E + -class by an a posteriori, liftable order Hans de Nivelle February 13, 1998…
- Cited by 2 (0 self) – Add To MetaCart
-
Subsumption of concepts in FL_0 with respect to descriptive semantics is PSPACE-complete
- … is PSPACE-complete. Yevgeny Kazakov and Hans de Nivelle MPI für Informatik, Saarbrücken, Germany E…
- Add To MetaCart
-
A Resolution Decision Procedure for the Transitive Guards
- … MPI für Informatik, Saarbrücken, Germany ykazakov@(email omitted);.de Abstract. We show how well…
- Add To MetaCart
-
Nivelle. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
- … and Hans de Nivelle MPI für Informatik, Saarbrücken, Germany {ykazakov|nivelle}@(email omitted);.de Abstract. We…
- Cited by 4 (2 self) – Add To MetaCart
-
Nivelle. Deciding regular grammar logics with converse through first-order logic
- … email: demri@(email omitted); Hans De Nivelle Max Planck Institut für Informatik Stuhlsatzenhausweg 85…
- Cited by 12 (0 self) – Add To MetaCart
-
A Small Framework for Proof Checking
- …A Small Framework for Proof Checking Hans de Nivelle and Piotr Witkowski Institute of Computer…
- Add To MetaCart
-
A Superposition Decision Procedure for the Guarded Fragment with Equality
- … de Nivelle ## Max-Planck-Institut f ur Informatik, D-66123 Saarbr ucken fhg | nivelleg@(email omitted);.de…
- Cited by 50 (2 self) – Add To MetaCart
-
Subsumption of concepts in FL0 for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete
- … is PSPACE-complete. Yevgeny Kazakov and Hans de Nivelle MPI für Informatik, Saarbrücken, Germany E…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
