Higher-Order Algebra, Logic, and Term Rewriting
Subtitle: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 362
ISBN-13: 9783662189054
Notes: Source title: Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers