Conditional and Typed Rewriting Systems - Dershowitz Nachum
Conditional and Typed Rewriting Systems - Dershowitz Nachum
- 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting.
EAN: 9783540603818
Marka
Symbol
735HKA03527KS
Rok wydania
1995
Strony
392
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Dershowitz Nachum
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
735HKA03527KS
Kod producenta
9783540603818
Rok wydania
1995
Strony
392
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Dershowitz Nachum
Język
angielski
This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in
Jerusalem, Israel, in July 1994.
The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting.
EAN: 9783540603818
The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting.
EAN: 9783540603818
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię