scientific article
From MaRDI portal
zbMath0546.68076MaRDI QIDQ3336735
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)
Related Items
On solving the equality problem in theories defined by Horn clauses, Regular substitution sets: A means of controlling E-unification, Rewriting with a nondeterministic choice operator, Simplifying conditional term rewriting systems: Unification, termination and confluence, Narrowing vs. SLD-resolution, Building exact computation sequences, A strong restriction of the inductive completion procedure, Induction = I-axiomatization + first-order consistency., A superposition oriented theorem prover
