A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Interpretability of First-Order Dynamic Logic in a Relational Calculus
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Discrete Duality for Relation Algebras and Cylindric Algebras
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
An algebra of layered complex preferences
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Hi-index | 0.00 |