Higher-Order Algebra, Logic, and Term Rewriting
Subtitle: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 304
ISBN-13: 9783662201862
Notes: Source title: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers