Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM)
Program schemes, arrays, Lindström quantifiers and zero-one laws
Theoretical Computer Science
Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL 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
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Expressibility Of The Semantics Of Sequential Programs In First-Order Logic
Fundamenta Informaticae
Hi-index | 5.23 |