BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × France
1 × Germany
5 × USA
Collaborated with:
H.Zhang O.L.Astrachan N.Bjørner T.E.Uribe R.J.Waldinger M.R.Lowry T.Pressburger I.Underwood H.A.Kautz Y.Ruan D.Achlioptas C.P.Gomes B.Selman
Talks about:
theorem (8) prover (6) prolog (5) technolog (4) deduct (3) problem (2) system (2) rewrit (2) studi (2) prove (2)

Person: Mark E. Stickel

DBLP DBLP: Stickel:Mark_E=

Facilitated 1 volumes:

CADE 1990Ed

Contributed to:

CADE 20092009
SAT 20012001
CADE 19971997
RTA 19951995
CADE 19941994
CADE 19921992
CADE 19901990
CADE 19881988
CADE 19861986
CADE 19841984
SLP 19841984

Wrote 14 papers:

CADE-2009-Stickel #proving #theorem proving
Building Theorem Provers (MES), pp. 306–321.
SAT-2001-KautzRAGSS #problem #satisfiability
Balance and Filtering in Structured Satisfiable Problems (HAK, YR, DA, CPG, BS, MES), pp. 2–18.
CADE-1997-BjornerSU #first-order #integration #reasoning
A Practical Integration of First-Order Reasoning and Decision Procedures (NB, MES, TEU), pp. 101–115.
RTA-1995-Stickel #proving #term rewriting #theorem proving
Term Rewriting in Contemporary Resolution Theorem Proving (MES), p. 101.
RTA-1995-StickelZ #problem
Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results (MES, HZ), pp. 450–456.
CADE-1994-StickelWLPU #composition #deduction #library
Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
CADE-1992-AstrachanS #proving #theorem proving
Caching and Lemmaizing in Model Elimination Theorem Provers (OLA, MES), pp. 224–238.
CADE-1990-Stickel #prolog #proving #theorem proving
A Prolog Technology Theorem Prover (MES), pp. 673–674.
CADE-1988-Stickel #automation #deduction
The KLAUS Automated Deduction System (MES), pp. 750–751.
CADE-1988-Stickel88a #prolog #proving #theorem proving
A Prolog Technology Theorem Prover (MES), pp. 752–753.
CADE-1986-Stickel #compilation #implementation #prolog #proving #theorem proving
A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler (MES), pp. 573–587.
CADE-1986-Stickel86a #automation #deduction
The KLAUS Automated Deduction System (MES), pp. 703–704.
CADE-1984-Stickel #case study #commutative #proving #theorem proving
A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity (MES), pp. 248–258.
SLP-1984-Stickel84 #prolog #proving #theorem proving
A Prolog Technology Theorem Prover (MES), pp. 211–217.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.