Logic Programming

DOI10.1007/11562931MaRDI QIDQ5475792zbMATH OpenOpenAlexFDO

Authors Susmit Sarkar, Brigitte Pientka, Karl Crary

Publication date 27 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Small Witnesses for Abstract Interpretation-Based Proofs
• scientific article; zbMATH DE number 2090127
• Short discreet proofs
• How to prove knowledge of small secrets
• Another simple proof for the existence of the small Witt design
• Small Littlewood-Richardson coefficients
• Batch range proof for practical small ranges

Cited in

(3)

• scientific article; zbMATH DE number 2090315 (Why is no real title available?)
• ANF preserves dependent types up to extensional equality
• Compressing propositional refutations

This page was built for publication: Logic Programming

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