Membership Algebra as a Logical Framework for Equational Specification (1998)

Cached

Download Links

by José Meseguer , A Mi Madre , Fuensanta Guaita De Meseguer
Citations:143 - 46 self

Document Versions

Membership Algebra as a Logical Framework for Equational Specification –José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer — 1998