Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Antonina Kolokolova | lit.salon

Author

Antonina Kolokolova

3 works

2000–2017 across 3 dated works

No biography is available yet.

Start with

V-Horn: a Horn-based second-order theory of arithmetic.2000
Systems of bounded arithmetic from descriptive complexity.2005
Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings2017
With Faith Ellen, Jörg-Rüdiger Sack

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings2017
With Faith Ellen, Jörg-Rüdiger Sack
2 editions
shelves
0
reviews
0
lists
0
quotes
0
V-Horn: a Horn-based second-order theory of arithmetic.2000
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Systems of bounded arithmetic from descriptive complexity.2005
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Antonina Kolokolova.

The conversation is still open.

There is no public salon activity to show for Antonina Kolokolova yet.