Mohlo by se vám také líbit

Více informací o knize Rewriting Techniques and Applications

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science

• Plný název: Rewriting Techniques and Applications
• Podnázev: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995. Proceedings
• Autor: Jieh Hsiang
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 480
• EAN: 9783540592006
• ISBN: 3540592008
• ID: 02092619
• Nakladatelství: Springer, Berlin
• Hmotnost: 654 g
• Rozměry: 234 × 156 × 25 mm
• Rok vydání: 1995

---

---

---