September 1, 1977· 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
conference-paper
Lower bounds for natural proof systems
Authors:Dexter Kozen
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.