Connecting logical representations and efficient computations

MaRDI QIDQ2852045zbMATH OpenFDO

Authors Martin Pollet, Volker Sorge

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106001137

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Computational logic: its origins and applications
• Efficient execution in an automated reasoning environment
• scientific article; zbMATH DE number 1926604
• A two-level logic approach to reasoning about computations
• Proofs as efficient programs

Cited in

(1)

• scientific article; zbMATH DE number 1086718 (Why is no real title available?)

This page was built for publication: Connecting logical representations and efficient computations

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