Connecting logical representations and efficient computations

zbMATH Open1273.68327MaRDI QIDQ2852045FDOQ2852045

Authors: Martin Pollet, Volker Sorge 

Publication date: 7 October 2013

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (1)

• Title not available (Why is that?)

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)