Term Rewriting - Comon Hubert
Term Rewriting - Comon Hubert
- French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
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.
EAN: 9783540593409
Marka
Symbol
607HJX03527KS
Rok wydania
1995
Strony
236
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Comon Hubert
Język
angielski
Bez ryzyka
14 dni na łatwy zwrot
Szeroki asortyment
ponad milion pozycji
Niskie ceny i rabaty
nawet do 50% każdego dnia
Niepotwierdzona zakupem
Ocena: /5
Marka
Symbol
607HJX03527KS
Kod producenta
9783540593409
Rok wydania
1995
Strony
236
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Comon Hubert
Język
angielski
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.
EAN: 9783540593409
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.
EAN: 9783540593409
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię