An infinite hierarchy of temporal logics over branching time
Information and Computation
A formal model for an expressive fragment of XSLT
Information Systems - Databases: Creation, management and utilization
On the Complexity of Single-Rule Datalog Queries
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Dichotomies for classes of homomorphism problems involving unary functions
Theoretical Computer Science
What can the GC compute efficiently?: a language for heap assertions at GC time
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Analogs of fagin's theorem for small nondeterministic finite automata
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
PQL: a purely-declarative java extension for parallel programming
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Hi-index | 0.00 |