Eric van Gestel

Publication Activity (10 Years)

Years Active: 1988-1988
Publications (10 Years): 0

Publications

Eric van Gestel, Ivo Van Horebeek
Remarks on many-sorted equational logic with respect to algebraic implementations. ACM SIGPLAN Notices 23 (1) (1988)