Items related to Advanced Topics in Term Rewriting

Advanced Topics in Term Rewriting - Softcover

Ohlebusch, Enno

 
9781475736625: Advanced Topics in Term Rewriting
Softcover
ISBN 10: 1475736622 ISBN 13: 9781475736625
Publisher: Springer, 2013

This specific ISBN edition is currently not available.

Synopsis

* Motivation * Abstract Reduction Systems * Term Rewriting Systems * Confluence * Termination * Relative Undecidability * Conditional Rewrite Systems * Modularity * Graph Rewriting * Termination of Logic Programs * Appendix-Kruskal's Theorem

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
1475736622
ISBN 13 
9781475736625
Binding
Paperback
Number of pages
432

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9780387952505: Advanced Topics in Term Rewriting

Featured Edition

ISBN 10:  0387952500 ISBN 13:  9780387952505
Publisher: Springer, 2002
Hardcover