Conditional and Typed Rewriting Systems
Subtitle: 2nd International Ctrs Workshop, Montreal, Canada, June 11-14, 1990. Proceedings (Lecture Notes in Computer Science)
Contributors: Stephane Kaplan (Editor); Mitsuhiro Okada (Editor); S. Kaplan (Other Contributor)
Publisher: Springer
Published: August 1991
Language: eng
Format: Paperback
Number of pages: 461
ISBN-13: 9783540543176
Subjects: Computer Programming; Logic; Mathematics; Artificial Intelligence - General; Rewriting systems (Computer science); Congresses
First sentence: Focus is an interactive program transformation/synthesis system based on term rewriting techniques [Red88].