November 18, 1997· DIMACS Series in Discrete Mathematics and Theoretical Computer Science
book-chapter
Algebraic models of computation and interpolation for algebraic proof systems
Authors:Pavel PudlakJiri Sgall
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.