TY -
BOOK
AU - Kluge, Werner
TI -
A user's guide for the reduction system pi-RED
PB - Inst. für Informatik und Praktische Mathematik
KW - Reduktionssystem
PY - 1994
BT - Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel ; 9419
CY - Kiel
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -