Normal Forms and Reduction for Theories of Binary Relations

Authors:
Daniel J. Dougherty;Claudio Gutiérrez
Affiliations:
-;-
Venue:
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Year:
2000

Groups in Allegories

ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Reasoning with Graphs

Electronic Notes in Theoretical Computer Science (ENTCS)
On graph reasoning

Information and Computation
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

Hi-index	0.00