Conditional and Typed Rewriting Systems
Mitsuhiro Okada
Sold by BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
AbeBooks Seller since January 11, 2012
New - Soft cover
Condition: New
Quantity: 2 available
Add to basketSold by BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
AbeBooks Seller since January 11, 2012
Condition: New
Quantity: 2 available
Add to basketThis item is printed on demand - it takes 3-4 days longer - Neuware -In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. The international CTRS (Conditional and Typed Rewriting Systems) workshops are intended to offer a forum for researchers on such extensions of rewriting techniques. This volume presents the proceedings of the second CTRS workshop, which contributed to discussion and evaluation of new directions of research. (The proceedings of the first CTRS workshop are in Lecture Notes in Computer Science, Vol. 308.) Several important directions for extensions of rewriting techniques were stressed, which are reflected in the organization of the chapters in this volume: - Theory of conditional and Horn clause systems, - Infinite terms, non-terminating systems, and termination, - Extension of Knuth-Bendix completion, - Combined systems, combined languages and modularity, - Architecture, compilers and parallel computation, - Basic frameworks for typed and order-sorted systems, - Extension of unification and narrowing techniques. 484 pp. Englisch.
Seller Inventory # 9783540543176
"About this title" may belong to another edition of this title.
Allgemeine Geschäftsbedingungen mit Kundeninformationen
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
Mängelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung
Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach Österreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!