MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Antonina Kolokolova" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

unknown title
by Stephen Cook, Antonina Kolokolova — 2001
… and Antonina Kolokolova University of Toronto fsacook,kolg@(email omitted); March 8, 2001 Abstract We…
Add To MetaCart

unknown title
by Stephen Cook, Antonina Kolokolova — 2001
… and Antonina Kolokolova University of Toronto fsacook,kolg@(email omitted); March 8, 2001 Abstract We…
Add To MetaCart

A second-order system for polytime reasoning based on Grädel's theorem
by Stephen Cook, Antonina Kolokolova — 2001 — Annals of Pure and Applied Logic
…A second-order system for polytime reasoning based on Gradel's theorem Stephen Cook and Antonina…
Cited by 14 (5 self) – Add To MetaCart

Complexity of expanding a finite structure and related tasks
by Antonina Kolokolova, Yongmei Liu, David Mitchell, Eugenia Ternovska — 2006 — The 8th Int. Workshop on Logic and Comput. Complexity (LCC
…Complexity of Expanding a Finite Structure and Related Tasks Antonina Kolokolova, Yongmei Liu…
Cited by 3 (3 self) – Add To MetaCart

A second-order system for polytime reasoning based on Gradel's theorem
by Stephen Cook And, Stephen Cook, Antonina Kolokolova — 2003 — Annals of Pure and Applied Logic
…A second-order system for polytime reasoning based on Gradel's theorem Stephen Cook and Antonina…
Add To MetaCart

A Second-Order System for Polytime Reasoning
by Based On Gr, Stephen Cook, Antonina Kolokolova, Consequences Of S
… and Antonina Kolokolova Dept. of Computer Science, University of Toronto, Toronto, ON M5S 3G4, Canada Abstract…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB