Constraints to stop higher-order deforestation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Least and greatest solutions of equations over N
Nordic Journal of Computing
A Modal Mu-Calculus for Durational Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Exact XML type checking in polynomial time
ICDT'07 Proceedings of the 11th international conference on Database Theory
Hi-index | 0.00 |