Conditional Term Rewriting Systems (Lecture Notes in Computer Science)
Contributors: Stephane Kaplan (Editor); Jean-Pierre Jouannaud (Editor)
Publisher: Springer
Published: October 1, 2007
Language: eng
Format: Paperback
Number of pages: 292
ISBN-13: 9783540192428
Subjects: Logic; Mathematics