Systems of Reductions

Shelfclass_id 4.B.3
Sortkey BENNINGHOFEN, B
Authors B. Benninghofen, S. Kemmerich, M. M. Richter
Title Systems of Reductions
Publisher Springer Pub. Co.
Year c1987
Languages eng
Isbn 0387185984
Series Lecture Notes in Computer Science
Volume 277
Issn 0302-9743
Description x, 263 p. ill. 25 cm.
Record date 20070430
Location New York
Keywords Rewriting systems (Computer science), Algebra, Universal, Computer algorithms
Notes Includes index.