Term Rewriting and All That

File Size : 88,88 MB
Total View : 8408 Views
DOWNLOAD

This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, ter

Term Rewriting Systems

File Size : 39,39 MB
Total View : 7524 Views
DOWNLOAD

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete tran

Advanced Topics in Term Rewriting

File Size : 33,33 MB
Total View : 2786 Views
DOWNLOAD

Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between t

All About Maude - A High-Performance Logical Framework

File Size : 39,39 MB
Total View : 333 Views
DOWNLOAD

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used

Handbook of Practical Logic and Automated Reasoning

File Size : 3,3 MB
Total View : 6660 Views
DOWNLOAD

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.