Space in Weak Propositional Proof Systems
By Ilario Bonacina
Subjects: Theory of Computation, Computer Science, MATHEMATICS -- General, Proof theory, Mathematics of Computing
Description: 1 online resource
Comments
You must log in to leave comments.
Subjects: Theory of Computation, Computer Science, MATHEMATICS -- General, Proof theory, Mathematics of Computing
Description: 1 online resource
You must log in to leave comments.