Report copyright / DMCA form for Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Please fill this form as much details as possible, we will respond to your request within 2 to 3 business days.

Or you can send us a mail at:

John S. Harris
[email protected]
117 Strosin LightLeuschkefort, NB E1T5P5
Canada