Systems of reductions /

Bibliographic Details
Main Author:	Benninghofen, B. (Benjamin), 1958-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Kemmerich, S. (Susanne), 1953-, Richter, Michael M., 1938-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987]
Series:	Lecture notes in computer science ; 277.
Subjects:	Rewriting systems (Computer science) Algebra, Universal > Data processing. Computer algorithms. Algebra, Universal. Algorithms. Réécriture, Systèmes de (Informatique) Algèbre universelle. Algorithmes. Reductie. Algoritmen. Algèbre universelle > Informatique. Reduktionssystem. Electronic books.
Online Access:	Connect to the full text of this electronic book

by Benninghofen, B. (Benjamin), 1958-
Published 1987

Book