Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 1994 
Subtitle: Proceedings (Lecture Notes in Computer)
Contributors: International Workshop on Conditional (Corporate Author)
Publisher: Springer
Published: October 1995
Language: eng
Format: Paperback
Number of pages: 383
ISBN-13: 9783540603818
Subjects: Mathematical theory of computation; Programming - General; Computer programming; Rewriting systems (Computer sc; Mathematics; Computers - Languages / Programming; Science/Mathematics; Logic; Programming Languages - General; Rewriting systems (Computer science); Computer Science; Algorithms; Congresses