scientific article; zbMATH DE number 193652

zbMATH Open0698.68001MaRDI QIDQ4040458FDOQ4040458

Authors: Zohar Manna, Richard Waldinger 

Publication date: 5 June 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 814830
• scientific article; zbMATH DE number 914492
• scientific article; zbMATH DE number 3913652
• scientific article; zbMATH DE number 976352
• Proof theory and automated deduction

zbMATH Keywords

deductive systemunificationtableaux methodSkolem functionsformal content of proofs in first-order logicgeneral resolution ruleproof by well-founded inductionproof systems of propositional and predicate logictheory of expressions

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (10)

• Direct deductive computation on discourse representation structures
• Logical foundations for programming semantics
• Synthesis and equivalence of concurrent systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• An experimental logic based on the fundamental deduction principle
• Constructing specification morphisms
• Title not available (Why is that?)
• Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4040458)