A Survey of Some Recent Results on Computational Complexity in Weak Theories of Arithmetic

• Authors:

• Deborah Joseph;Paul Young

• Affiliations:

• -;-

• Venue:
• Proceedings on Mathematical Foundations of Computer Science
• Year:
• 1981