Relational Constructions in Goguen Categories
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Representation theory of Goguen categories
Fuzzy Sets and Systems
ER modelling from first relational principles
Theoretical Computer Science
Describing data flow analysis techniques with Kleene algebra
Science of Computer Programming
A Relation-Algebraic Theory of Bisimulations
Fundamenta Informaticae
Fuzzy Sets and Systems
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
An ordered category of processes
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Dedekind categories with cutoff operators
Fuzzy Sets and Systems
Relation algebraic approaches to fuzzy relations
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
A first-order calculus for allegories
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Dependently-typed formalisation of relation-algebraic abstractions
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Ampersand applying relation algebra in practice
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Time-Dependent contact structures in goguen categories
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Semigroupoid interfaces for relation-algebraic programming in haskell
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
A Relation-Algebraic Theory of Bisimulations
Fundamenta Informaticae
An algebraic calculus of database preferences
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Relation algebras, matrices, and multi-valued decision diagrams
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Hi-index | 0.00 |