Term Rewriting

Name: Term Rewriting
Brand: Springer, Berlin
SKU: 9783540593409
Price: 1147 CZK
Availability: InStock

French Spring School of Theoretical Computer Science, Font Romeux, France, 17-21, 1993. Advanced Course

Autor: Hubert Comon, Jean-Pierre Jouannaud

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This volume contains thoroughly revised versions of the contributions presented at the French Spring...

Informace o knize

Autor

Hubert Comon, Jean-Pierre Jouannaud

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1995

Stránek

228

EAN

9783540593409

ISBN

3540593403

Enbook ID

01565956

Vydavatel

Springer, Berlin

Hmotnost

312

Rozměry

156 x 234 x 12

Kompletní popis

This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Term Rewriting

French Spring School of Theoretical Computer Science, Font Romeux, France, 17-21, 1993. Advanced Course

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také