Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 
Subtitle: Selected Papers (Lecture Notes in Computer Science)
Contributors: Gilles Dowek (Editor)
Publisher: Springer-Verlag
Published: May 1996
Language: eng
Format: Paperback
ISBN-13: 9780387612546
Subjects: Computer Science; Algebra; Computer Logic; Computers; Congresses; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical; Rewriting systems (Computer sc; Rewriting systems (Computer science); Science/Mathematics
First sentence: In this paper we will discuss in an informal way some aspects of term graph rewriting.