scientific article
From MaRDI portal
Publication:3798649
zbMath0653.03030MaRDI QIDQ3798649
Michaël Rusinowitch, Emmanuel Kounalis
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Word problems, etc. in computability and recursion theory (03D40)
Related Items
Completion of first-order clauses with equality by strict superposition ⋮ Completion procedures as semidecision procedures ⋮ Completion-time optimization of rewrite-time goal solving ⋮ On fairness of completion-based theorem proving strategies ⋮ A completion procedure for conditional equations
