Antonina Kolokolova

Books by Antonina Kolokolova

Total count: 3

• V-Horna Horn-based second-order theory of arithmetic.

  2000-01-01
• Systems of bounded arithmetic from descriptive complexity.

  2005-01-01
• 
  Algorithms and Data Structures15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings

  Springer2017-07-05