scientific article
From MaRDI portal
Publication:3818295
zbMath0666.03011MaRDI QIDQ3818295
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 (10)
Conditional rewriting in focus ⋮ A maximal-literal unit strategy for horn clauses ⋮ A proof system for conditional algebraic specifications ⋮ Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation ⋮ Reasoning with conditional axioms ⋮ Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover ⋮ Order-sorted completion: The many-sorted way ⋮ On notions of inductive validity for first-order equational clauses ⋮ On word problems in Horn theories ⋮ Deductive and inductive synthesis of equational programs
This page was built for publication:
