NP trees and Carnap's modal logic
Journal of the ACM (JACM)
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
A Generalized Quantifier Concept in Computational Complexity Theory
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Capture Complexity by Partition
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Program Schemes with Deep Pushdown Storage
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Hi-index | 0.00 |