Journal of Logic, Language and Information
A Tableau Calculus for a Temporal Logic with Temporal Connectives
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Greibach Normal Form in Algebraically Complete Semirings
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Mathematical Structures in Computer Science
Logics for Classes of Boolean Monoids
Journal of Logic, Language and Information
ACM Transactions on Computational Logic (TOCL)
On Finite Model Property of the Equational Theory of Kleene Algebras
Fundamenta Informaticae
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices
Fundamenta Informaticae
Composing Partially Ordered Monads
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Untyping typed algebraic structures and colouring proof nets of cyclic linear logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Regular expression containment: coinductive axiomatization and computational interpretation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the complexity of the equational theory of relational action algebras
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Logic and Program Semantics
Hi-index | 0.00 |