Conditional and Typed Rewriting Systems
4th International Workshop, CTRS-94, Jerusalem, Isreal, July 13-15, 1994. Proceedings
Autor:
Nachum Dershowitz, Naomi Lindenstrauss
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
This book presents throroughly revised full versions of the 21 papers accepted for the Fourth Intern...
