scientific article
From MaRDI portal
Publication:4040458
zbMath0698.68001MaRDI QIDQ4040458
Richard Waldinger, Zohar Manna
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
unificationSkolem functionsdeductive systemtableaux methodformal content of proofs in first-order logicgeneral resolution ruleproof by well-founded inductionproof systems of propositional and predicate logictheory of expressions
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Synthesis and equivalence of concurrent systems ⋮ Direct deductive computation on discourse representation structures ⋮ Logical foundations for programming semantics ⋮ Constructing specification morphisms
This page was built for publication:
