Symbolic Rewriting Techniques
Publisher: Springer
Published: Oct 23, 2012
Format: paperback
Number of pages: 300
ISBN-13: 9783034897792
Notes: Source title: Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic)