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.
Produkteigenschaften
- Artikelnummer: 9783540592006
- Medium: Buch
- ISBN: 978-3-540-59200-6
- Verlag: Springer Berlin Heidelberg
- Erscheinungstermin: 22.03.1995
- Sprache(n): Englisch
- Auflage: 1995
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 1510 g
- Seiten: 480
- Format (B x H x T): 155 x 235 x 27 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- Künstliche Intelligenz
- Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- Künstliche Intelligenz
- Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines