Term Rewriting and Applications

Contact
Newsletter

Newsletter Sign in for news and special offers information. Data Administrator: ABE-IPS Sp. z o.o.

Choose interesting categories

I have read and agree to Privacy Policy and Newsletter Terms
I agree to receive promotional electronic communication(s).
Unsubscribe
Institutional Clients
Delivery
About us

Term Rewriting and Applications

Authors	Franz Baader
Publisher	Springer Nature
Year	14/08/2007
Edition	First
Version	eBook: Fixed Page eTextbook (PDF)
Language	English
ISBN	9783540734499
Categories	Mathematical logic, Computing & information technology, Computer programming / software development, Programming & scripting languages: general, Artificial intelligence

Add to bookshelf

Book description

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.

Term Rewriting and Applications

We also recommend books

Dynamic Fuzzy Logic & its Applications

Fanzhang Li

1 471.31 PLN

Multiple-Valued Logic Design: an Introduction

G Epstein

2 070.60 PLN

Algorithms and Complexity in Durham 2006:..

H Broersma

126.03 PLN

Mathematics & Mathematical Logic: New..

Peter Milosav

1 349.25 PLN

Bookstore

Term Rewriting and Applications

Book description

We also recommend books

Dynamic Fuzzy Logic & its Applications

Multiple-Valued Logic Design: an Introduction

Algorithms and Complexity in Durham 2006:..

Mathematics & Mathematical Logic: New..