scientific article

zbMath0666.68092MaRDI QIDQ3817651

David Alan Plaisted

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticsterm logicconditional term rewriting systemsfirst-order theorem-proverminimal rewriting models

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Local confluence of conditional and generalized term rewriting systems ⋮ Natural termination ⋮ A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language