This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems.
Produkteigenschaften
- Artikelnummer: 9783540539049
- Medium: Buch
- ISBN: 978-3-540-53904-9
- Verlag: Springer Berlin Heidelberg
- Erscheinungstermin: 27.03.1991
- Sprache(n): Englisch
- Auflage: 1991
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 1450 g
- Seiten: 462
- Format (B x H x T): 155 x 235 x 26 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- Künstliche Intelligenz
- Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Computeranwendungen in der Mathematik
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Angewandte Mathematik, Mathematische Modelle
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- Künstliche Intelligenz
- Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Computeranwendungen in der Mathematik
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Angewandte Mathematik, Mathematische Modelle