Mark E. Stickel

Available identifiers

zbMath Open stickel.mark-eWikidataQ18131873 ScholiaQ18131873MaRDI QIDQ1101258

List of research outcomes

Publication	Date of Publication	Type
Studying quasigroup identities by rewriting techniques: Problems and first results	2022-12-09	Paper
Ordered Binary Decision Diagrams and the Davis-Putnam procedure	2022-08-16	Paper
A practical integration of first-order reasoning and decision procedures	2019-10-01	Paper
Building Theorem Provers	2009-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q2749864	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q2741510	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2741540	2001-09-24	Paper
Implementing the Davis-Putnam method	2000-05-18	Paper
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation	1997-05-13	Paper
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction	1995-02-22	Paper
A Prolog technology theorem prover: A new exposition and implementation in Prolog	1993-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4016555	1993-01-16	Paper
A Prolog technology theorem prover: Implementation by an extended Prolog compiler	1988-01-01	Paper
Schubert's steamroller problem: Formulations and solutions	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750142	1986-01-01	Paper
Automated deduction by theory resolution	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3336737	1984-01-01	Paper
A Unification Algorithm for Associative-Commutative Functions	1981-01-01	Paper
Complete Sets of Reductions for Some Equational Theories	1981-01-01	Paper
A Hole in Goal Trees: Some Guidance from Resolution Theory	1976-01-01	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: Mark E. Stickel