Jungle evaluation for efficient term rewriting

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
62 S.
Language
Deutsch
Notes
graph. Darst.
Literaturverz. S. 60 - 62

Bibliographic citation
Informatik ; Report No. [19]88,4

Event
Veröffentlichung
(where)
Bremen
(who)
Fachbereich Mathematik/Informatik, Univ.
(when)
[1988]
Creator
Hoffmann, Berthold
Plump, Detlef

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:06 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Hoffmann, Berthold
  • Plump, Detlef
  • Fachbereich Mathematik/Informatik, Univ.

Time of origin

  • [1988]

Other Objects (12)

Termersetzungssysteme : Term Rewriting

Termersetzungssysteme : Term Rewriting

Term rewriting : advanced course

Konferenzschrift | Kongress

Term rewriting : advanced course

Advanced topics in term rewriting

Advanced topics in term rewriting

Simplification orders in term rewriting

Hochschulschrift | Online-Publikation

Simplification orders in term rewriting

Efficient graph rewriting and its implementation

Efficient graph rewriting and its implementation

Property analysis of term rewriting systems

Hochschulschrift

Property analysis of term rewriting systems

Parallelizing functional programs by term rewriting

Parallelizing functional programs by term rewriting

JUNGLe

Graffiti | Streetart

JUNGLe

JUNGLE

Graffiti | Streetart

JUNGLE

Modular properties of composable term rewriting systems

Hochschulschrift

Modular properties of composable term rewriting systems

Using SOS definitions in term rewriting proofs

Using SOS definitions in term rewriting proofs

A term rewriting technique for decision graphs

A term rewriting technique for decision graphs

Related objects