Task scheduling using intertask dependencies in Carnot
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic Negation, the One and Only
Journal of Logic, Language and Information
On the Equational Definition of the Least Prefixed Point
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
On the equational definition of the least prefixed point
Theoretical Computer Science - Mathematical foundations of computer science
Substructural logic and partial correctness
ACM Transactions on Computational Logic (TOCL)
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices
Fundamenta Informaticae
On Finite Model Property of the Equational Theory of Kleene Algebras
Fundamenta Informaticae
Automated reasoning in higher-order regular algebra
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Hi-index | 0.00 |