scientific article
From MaRDI portal
Publication:3786024
zbMath0643.68142MaRDI QIDQ3786024
Jieh Hsiang, Michaël Rusinowitch
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Reduction techniques for first-order reasoning, Implementing contextual rewriting, Conditional rewriting in focus, A maximal-literal unit strategy for horn clauses, Completion procedures as semidecision procedures, On solving the equality problem in theories defined by Horn clauses, Proof normalization for resolution and paramodulation, Problems in rewriting III, Rewrite method for theorem proving in first order theory with equality, Reduction rules for resolution-based systems, Towards a foundation of completion procedures as semidecision procedures, The Blossom of Finite Semantic Trees, Any ground associative-commutative theory has a finite canonical system, Theorem-proving with resolution and superposition, Larry Wos: visions of automated reasoning
