Hans de Nivelle

Available identifiers

zbMath Open de-nivelle.hansMaRDI QIDQ438567

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6191008	2024-02-08	Paper
A Recursive Inclusion Checker for Recursively Defined Subtypes	2023-01-24	Paper
An algorithm for the retrieval of unifiers from discrimination trees	2019-10-08	Paper
A classification of non-liftable orders for resolution	2019-10-01	Paper
Subsumption Algorithms for Three-Valued Geometric Resolution	2019-01-18	Paper
Theorem proving for classical logic with partial functions by reduction to Kleene logic	2017-05-17	Paper
Subsumption Algorithms for Three-Valued Geometric Resolution	2016-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q2939528	2015-01-22	Paper
Classical logic with partial functions	2012-07-31	Paper
Splitting through New Proposition Symbols	2011-05-06	Paper
Classical Logic with Partial Functions	2010-09-14	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Computing finite models by reduction to function-free clause logic	2009-03-25	Paper
Geometric Resolution: A Proof Procedure Based on Finite Model Search	2009-03-12	Paper
Automated Reasoning	2007-09-25	Paper
Deciding regular grammar logics with converse through first-order logic	2005-10-04	Paper
Translation of resolution proofs into short first-order proofs without choice axioms	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4474846	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4411849	2003-07-10	Paper
Automated proof construction in type theory using resolution	2003-04-27	Paper
Deciding the guarded fragments by resolution	2003-04-02	Paper
Resolution in modal, description and hybrid logic	2002-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4539607	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4537439	2002-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4537434	2002-06-30	Paper
Deciding the \(E^+\)-class by an a posteriori, liftable order	2001-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q2723415	2001-07-05	Paper
An overview of resolution decision procedures	2001-03-12	Paper
Resolution-based methods for modal logics	2000-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4263164	2000-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4249898	1999-06-17	Paper
An algorithm for the retrieval of unifiers from discrimination trees	1998-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4885907	1997-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4282525	1994-04-17	Paper

Research outcomes over time

This page was built for person: Hans de Nivelle