Plotkin, G. D. Building-in equational theories. (English) Zbl 0262.68036 Machine Intell. 7, 73-90 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 88 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 03-04 Software, source code, etc. for problems pertaining to mathematical logic and foundations PDF BibTeX XML Cite \textit{G. D. Plotkin}, Mach. Intell. 7, 73--90 (1972; Zbl 0262.68036) OpenURL