Concurrent inference through dual transformation

DOI10.1093/JIGPAL/6.6.795MaRDI QIDQ4222184zbMATH OpenOpenAlexFDO

Authors Guilherme Bittencourt

Publication date 6 December 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/9a721317b40d9e635ab4cc5c17096827a1881dd0

zbMATH Keywords

automated theorem-provingconcurrent algorithmdual transformationinference method for first-order logicnormal forms

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• An algorithm for dual transformation in first-order logic
• A proof strategy based on a dual representation
• Extraction of proofs from the clausal normal form transformation
• scientific article; zbMATH DE number 2065283
• On the role of automated theorem proving in the compile-time derivation of concurrency

Cited in

(3)

• A proof strategy based on a dual representation
• scientific article; zbMATH DE number 2120023 (Why is no real title available?)
• An algorithm for dual transformation in first-order logic

This page was built for publication: Concurrent inference through dual transformation

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