scientific article; zbMATH DE number 3864540

MaRDI QIDQ3332284zbMATH OpenFDO

Authors Irena Pevac, Dragoš Cvetković

Publication date 1982

zbMATH Keywords

computer oriented algorithms for transforming formulasfirst order formulaformula matching

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 2135666
• Algorithms for testing satisfiability formulas
• An algorithm for dual transformation in first-order logic
• scientific article; zbMATH DE number 404251
• An algorithm of classification of unranked propositional logic formulas

Cited in

(7)

• Man-machine theorem proving in graph theory
• scientific article; zbMATH DE number 609979 (Why is no real title available?)
• scientific article; zbMATH DE number 1533821 (Why is no real title available?)
• scientific article; zbMATH DE number 2135666 (Why is no real title available?)
• scientific article; zbMATH DE number 3893165 (Why is no real title available?)
• Implementation of BASELOG editor module for first-order predicate calculus formula transformation
• An algorithm for dual transformation in first-order logic

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