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, 1074)
Contributors: Gilles Dowek (Editor)
Publisher: Springer
Published: June 1996
Language: eng
Format: Paperback
Number of pages: 287
ISBN-13: 9783540612544
Subjects: Computer Programming; Computer architecture & logic design; Mathematical theory of computation; Rewriting systems (Computer science); Logic Design; Computers; Mathematics; Rewriting systems (Computer sc; Computer Books: General; Science/Mathematics; Logic, Symbolic and mathematic; Logic; Algebra; Congresses; Logic, Symbolic and mathematical
First sentence: In this paper we will discuss in an informal way some aspects of term graph rewriting.