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

Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller.

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, held in Paderborn, Germany, in September 1995. The 14 research papers included, together with an...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Dowek, Gilles (Editor), Heering, Jan (Editor), Meinke, Karl (Editor), Möller, Bernhard (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996.
Edition:1st ed. 1996.
Series:Lecture Notes in Computer Science, 1074
Springer eBook Collection.
Subjects:
Computers.
Computer logic.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Description
Summary: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, held in Paderborn, Germany, in September 1995. The 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.
Physical Description:VIII, 296 p. online resource.
ISBN:9783540683896
ISSN:0302-9743 ;
DOI:10.1007/3-540-61254-8

Similar Items