A Perspective on Lindström Quantifiers and Oracles
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
The Shrinking Property for NP and coNP
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Complexity classes of equivalence problems revisited
Information and Computation
Yuri, logic, and computer science
Fields of logic and computation
On complete problems, relativizations and logics for complexity classes
Fields of logic and computation
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines
Fundamenta Informaticae
Hi-index | 0.00 |