Produktnummer:
18da3727a214b74d1dac68f727148c3c28
| Themengebiete: | E-Unifikation Ersetzung höherer Ordnung Ersetzungssysteme Resolution algorithm algorithms automatische Deduktion calculus higher-order rewriting lambda calculus |
|---|---|
| Veröffentlichungsdatum: | 22.03.1995 |
| EAN: | 9783540592006 |
| Sprache: | Englisch |
| Seitenzahl: | 480 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Hsiang, Jieh |
| Verlag: | Springer Berlin |
| Untertitel: | 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings |
Produktinformationen "Rewriting Techniques and Applications"
This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995.The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop. The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen