Term Rewriting and All That

Author	: Franz Baader
Publisher	: Cambridge University Press
Total Pages	: 318
Release	: 1998
ISBN-13	: 0521779200
ISBN-10	: 9780521779203
Rating	: 4/5 (03 Downloads)

DOWNLOAD EBOOK

Book Synopsis Term Rewriting and All That by : Franz Baader

Download or read book Term Rewriting and All That written by Franz Baader and published by Cambridge University Press. This book was released on 1998 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Term Rewriting and All That Related Books

Language: en
Pages: 318

Term Rewriting and All That

Authors: Franz Baader

Categories: Computers

Type: BOOK - Published: 1998 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Language: en
Pages: 318

Term Rewriting and All That

Authors: Franz Baader

Categories: Computers

Type: BOOK - Published: 1999-08-05 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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

Language: en
Pages: 420

Advanced Topics in Term Rewriting

Authors: Enno Ohlebusch

Categories: Computers

Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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

Language: en
Pages: 926

Term Rewriting Systems

Authors: Terese

Categories: Computers

Type: BOOK - Published: 2003-03-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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

Language: en
Pages: 799

All About Maude - A High-Performance Logical Framework

Authors: Manuel Clavel

Categories: Computers

Type: BOOK - Published: 2007-07-19 - Publisher: Springer

DOWNLOAD EBOOK

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