Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Propositional representation of arithmetic proofs (Preliminary Version)
Home
Publications
Propositional representation of arithmetic proofs (Preliminary Version)
Propositional representation of arithmetic proofs (Preliminary Version)
MD
Martin Dowd
Martin Dowd
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1978
conference paper
Published by
Association for Computing Machinery (ACM)
p.
246-252
https://doi.org/10.1145/800133.804354
Abstract
No abstract available
Keywords
PRIMITIVE RECURSIVE ARITHMETIC
PROOF SYSTEMS
PROPOSITIONAL CALCULUS
Cited by 5 articles