scientific article; zbMATH DE number 814830

MaRDI QIDQ4855375zbMATH OpenFDO

Authors Zohar Manna, Richard Waldinger

Publication date 9 November 1995

zbMATH Keywords

propositional logicinduction principledeductive-tableau system

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• scientific article; zbMATH DE number 3913652
• Logic for informatics and artificial intelligence
• scientific article; zbMATH DE number 5194318
• scientific article; zbMATH DE number 46019
• scientific article; zbMATH DE number 3936465
• scientific article; zbMATH DE number 193652
• scientific article; zbMATH DE number 1001667
• scientific article; zbMATH DE number 1615755
• Logic and Language Models for Computer Science
• Programs are predicates

Cited in

(7)

• Synthesis of positive logic programs for checking a class of definitions with infinite quantification
• A practical integration of first-order reasoning and decision procedures
• scientific article; zbMATH DE number 914492 (Why is no real title available?)
• A higher-order interpretation of deductive tableau
• scientific article; zbMATH DE number 193652 (Why is no real title available?)
• scientific article; zbMATH DE number 3913652 (Why is no real title available?)
• Deduction and Declarative Programming

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 Q4855375)