scientific article; zbMATH DE number 3395362
From MaRDI portal
Publication:5663380
zbMath0249.68032MaRDI QIDQ5663380
J. Strother Moore, Robert S. Boyer
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (19)
Resolution theorem proving in reified modal logics ⋮ Lazy structure sharing for query optimization ⋮ The implementation of FPROLOG - a fuzzy PROLOG interpreter ⋮ A Prolog technology theorem prover: Implementation by an extended Prolog compiler ⋮ A graph unification machine for NL parsing ⋮ Pre-indexed Terms for Prolog ⋮ Fifty Years of Prolog and Beyond ⋮ Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks ⋮ Correctness of procedure representations in higher-order assembly language ⋮ Structure sharing for quantified terms: Fundamentals ⋮ The calculus of context relations ⋮ Theory matrices (for modal logics) using alphabetical monotonicity ⋮ Fuzzy logic programming ⋮ Milestones from the Pure Lisp Theorem Prover to ACL2 ⋮ Representing scope in intuitionistic deductions ⋮ An ordering linear unification algorithm ⋮ Boolean unification - the story so far ⋮ On equational theories, unification, and (un)decidability ⋮ Source-tracking unification
This page was built for publication:
