Hans de Nivelle

From MaRDI portal
Person:438567

Available identifiers

zbMath Open de-nivelle.hansMaRDI QIDQ438567

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61910082024-02-08Paper
A Recursive Inclusion Checker for Recursively Defined Subtypes2023-01-24Paper
An algorithm for the retrieval of unifiers from discrimination trees2019-10-08Paper
A classification of non-liftable orders for resolution2019-10-01Paper
Subsumption Algorithms for Three-Valued Geometric Resolution2019-01-18Paper
Theorem proving for classical logic with partial functions by reduction to Kleene logic2017-05-17Paper
Subsumption Algorithms for Three-Valued Geometric Resolution2016-09-05Paper
https://portal.mardi4nfdi.de/entity/Q29395282015-01-22Paper
Classical logic with partial functions2012-07-31Paper
Splitting through New Proposition Symbols2011-05-06Paper
Classical Logic with Partial Functions2010-09-14Paper
Automated Deduction – CADE-192010-04-20Paper
Computing finite models by reduction to function-free clause logic2009-03-25Paper
Geometric Resolution: A Proof Procedure Based on Finite Model Search2009-03-12Paper
Automated Reasoning2007-09-25Paper
Deciding regular grammar logics with converse through first-order logic2005-10-04Paper
Translation of resolution proofs into short first-order proofs without choice axioms2005-08-05Paper
https://portal.mardi4nfdi.de/entity/Q44748462004-07-21Paper
https://portal.mardi4nfdi.de/entity/Q44118492003-07-10Paper
Automated proof construction in type theory using resolution2003-04-27Paper
Deciding the guarded fragments by resolution2003-04-02Paper
Resolution in modal, description and hybrid logic2002-07-28Paper
https://portal.mardi4nfdi.de/entity/Q45396072002-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45374392002-06-30Paper
https://portal.mardi4nfdi.de/entity/Q45374342002-06-30Paper
Deciding the \(E^+\)-class by an a posteriori, liftable order2001-07-26Paper
https://portal.mardi4nfdi.de/entity/Q27234152001-07-05Paper
An overview of resolution decision procedures2001-03-12Paper
Resolution-based methods for modal logics2000-11-07Paper
https://portal.mardi4nfdi.de/entity/Q42631642000-02-17Paper
https://portal.mardi4nfdi.de/entity/Q42498981999-06-17Paper
An algorithm for the retrieval of unifiers from discrimination trees1998-03-25Paper
https://portal.mardi4nfdi.de/entity/Q48859071997-04-07Paper
https://portal.mardi4nfdi.de/entity/Q42825251994-04-17Paper

Research outcomes over time

This page was built for person: Hans de Nivelle