Rewriting techniques and applications

Rewriting techniques and applications

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Jouannaud, Jean-Pierre (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London u. a. Acad. Press 1987
Schlagworte:
Algorithms > Problem solving - Data processing > Reduktionssystem > Aufsatzsammlung > Umschreibung <Mathematik>
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Aus: Journal of symbolic computation ; 3. 1987
Beschreibung:216 S.
graph. Darst.
ISBN:0123909600
0-12-390960-0