Eric van Gestel

According to our database, Eric van Gestel authored at least 1 paper in 1988.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1988

Remarks on many-sorted equational logic with respect to algebraic implementations.

Eric van Gestel, Ivo Van Horebeek

ACM SIGPLAN Notices, 1988