Descriptive complexity theory over the real numbers
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Program schemes, arrays, Lindström quantifiers and zero-one laws
Theoretical Computer Science
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
On digraph coloring problems and treewidth duality
European Journal of Combinatorics
Program Schemes with Deep Pushdown Storage
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Complete problems for higher order logics
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
| Hi-index | 0.00 |