J. Heering profile picture

J. Heering

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Algebraic Specification (Acm Press Frontier Series)
Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers