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/Q4537434	2002-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4537439	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
https://portal.mardi4nfdi.de/entity/Q2702565	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hans de Nivelle