scientific article
From MaRDI portal
Publication:3702510
zbMath0579.68027MaRDI QIDQ3702510
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)
Related Items
Consider only general superpositions in completion procedures, History and basic features of the critical-pair/completion procedure, Only prime superpositions need be considered in the Knuth-Bendix completion procedure, Critical pair criteria for completion, Multi-completion with termination tools, Unnecessary inferences in associative-commutative completion procedures, Automated proofs of the Moufang identities in alternative rings, Redundancy criteria for constrained completion, Redundancy criteria for constrained completion, On pot, pans and pudding or how to discover generalised critical Pairs, Theorem-proving with resolution and superposition, On word problems in Horn theories, A completion procedure for conditional equations, Automating inductionless induction using test sets, Elimination of composite superpositions may cause abortion
