The quantifier complexity of polynomial-size iterated definitions in first-order logic

Samuel R. Buss, Alan S. Johnson
  • November 2010, Wiley
  • DOI: 10.1002/malq.200910111

The authors haven't finished explaining this publication. If you are the author, sign in to claim or explain your work.

Read Publication

The following have contributed to this page: Samuel R Buss

In partnership with: