Benninghofen, B. Kemmerich, S. Richter, M M.
Systems of Reductions - Berlin Springer Verlag 1987 - 263p - Lecture notes in computer science ; 00277 .
3540185984
Systems of Reductions
681 LNCS
Systems of Reductions - Berlin Springer Verlag 1987 - 263p - Lecture notes in computer science ; 00277 .
3540185984
Systems of Reductions
681 LNCS