Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers

by Karl Meinke, Jan Heering, Bernhard Möller, et al.

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540612548
• ISBN13: 9783540612544
• Release Date: May 1996
• Publisher: Springer
• Length: 296 Pages
• Weight: 0.94 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"