Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 9783540643012
Price: 50.13 EUR
Availability: InStock

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings

Autor: Tobias Nipkow

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Tech...

Informácie o knihe

Autor

Tobias Nipkow

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1998

Stránok

346

EAN

9783540643012

ISBN

354064301X

Enbook ID

02092636

Vydavateľ

Springer, Berlin

Hmotnosť

464

Rozmery

156 x 234 x 18

Kompletný popis

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.