Term Rewriting

Name: Term Rewriting
Brand: Springer, Berlin
SKU: 9783540593409
Price: 277.38 RON
Availability: InStock

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

Autor: Hubert Comon, Jean-Pierre Jouannaud

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

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

Informații despre carte

Autor

Hubert Comon, Jean-Pierre Jouannaud

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1995

Pagini

228

EAN

9783540593409

ISBN

3540593403

Enbook ID

01565956

Editura

Springer, Berlin

Greutate

312

Dimensiuni

156 x 234 x 12

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Term Rewriting

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și