Algebraic and Logic Programming: 5th International Confernence, Alp '96, Aachen, Germany, September 25-27, 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: September 1996
Language: eng
Format: Paperback
Number of pages: 345
ISBN-13: 9783540617358
Subjects: Computer Programming; Computer architecture & logic design; Mathematical theory of computation; Programming - General; Computers - Languages / Programming; Algebra; Computers; Logic Programming; Computer Books: Languages; Logic Design; Congresses; Programming Languages - General; Logic; Algebraic logic
First sentence: The fundamental interest of using term rewriting as an executable specification tool was shown in the last two decades, through many theoretical works but also many implementations of the concept, like (without exhaustivity) OBJ, PLUSS, LPG, ASF+SDF.