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