Stratified functional programs and computational complexity
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM)
Existential second-order logic over strings
Journal of the ACM (JACM)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Second-Order Logic over Strings: Regular and Non-regular Fragments
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
The expressive power of higher-order types or, life without CONS
Journal of Functional Programming
Computing queries with higher-order logics
Theoretical Computer Science - Logic, language, information and computation
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Fixed-Point Quantifiers in Higher Order Logics
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy
Electronic Notes in Theoretical Computer Science (ENTCS)
The model checking problem for prefix classes of second-order logic: a survey
Fields of logic and computation
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
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |