Benninghofen, B.
Systems of reductions / B. Benninghofen, S. Kemmerich, M. M. Richter. - Berlin [etc.] : Springer-Verlag , cop. 1987 . - X, 263 p. ; 24 cm. - (Lecture Notes in Computer Science) ; 277
ISBN 978-3-540-18598-7
Sistemas de reescrita (Informática)
Algoritmos
Álgebra universal
LCC QA75.5
Systems of reductions / B. Benninghofen, S. Kemmerich, M. M. Richter. - Berlin [etc.] : Springer-Verlag , cop. 1987 . - X, 263 p. ; 24 cm. - (Lecture Notes in Computer Science) ; 277
ISBN 978-3-540-18598-7
Sistemas de reescrita (Informática)
Algoritmos
Álgebra universal
LCC QA75.5