Advanced Topics in Term Rewriting

Name: Advanced Topics in Term Rewriting
Brand: Springer, Berlin
SKU: 9780387952505
Price: 19836 HUF
Availability: InStock

Szerző: Enno Ohlebusch

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

19 836 Ft

First book on advanced topics in term rewriting Covers the newest techniques for proving termination...

Információk a könyvről

Szerző

Enno Ohlebusch

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2002

oldal

414

EAN

9780387952505

ISBN

0387952500

Enbook ID

01384320

Kiadó

Springer, Berlin

Súly

786

Méretek

156 x 234 x 23

Teljes leírás

First book on advanced topics in term rewriting Covers the newest techniques for proving termination of rewrite systems Contains a comprehensive chapter on conditional term rewriting systems Contains a state-of-the-art survey of modularity in term rewriting Presents a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Advanced Topics in Term Rewriting

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták