Mark Stickel: his earliest work
From MaRDI portal
Publication:287332
DOI10.1007/s10817-015-9342-4zbMath1356.68005OpenAlexW1708341365MaRDI QIDQ287332
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-015-9342-4
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) History of computer science (68-03)
Uses Software
Cites Work
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- SETHEO: A high-performance theorem prover
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- Linear resolution with selection function
- A Unification Algorithm for Associative-Commutative Functions
- A Hole in Goal Trees: Some Guidance from Resolution Theory
- Fuzzy sets
- Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item