{"product_id":"higher-order-algebra-logic-and-term-rewriting-second-international-workshop-hoa-95-paderborn-germany-september-1995-selected-papers-9783540612544","title":"Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers","description":"\u003cp\u003e • Author(s): Gilles Dowek | Jan Heering | Karl Meinke\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eThis 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, held in Paderborn, Germany, in September 1995.\u003cbr\u003eThe 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47614795841687,"sku":"9783540612544","price":5703.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540612544.webp?v=1775096414","url":"https:\/\/atlanticbooks.com\/products\/higher-order-algebra-logic-and-term-rewriting-second-international-workshop-hoa-95-paderborn-germany-september-1995-selected-papers-9783540612544","provider":"Atlantic Books","version":"1.0","type":"link"}