Some Algebraic Laws for Spans (and Their Connections With Multi-Relations) (2001)

Cached

Download Links

by Roberto Bruni , Fabio Gadducci
Venue:Proceedings of RelMiS 2001, Workshop on Relational Methods in Software. Electronic Notes in Theoretical Computer Science, n.44 v.3, Elsevier Science (2001
Citations:8 - 3 self