Church-Rosser-Theorem und Normalisierung für Termkalküle mit unendlichen Termen unter Einschluss permutativer Reduktionen / Martin Ruckert
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1985Description: 85 S. : graph. Darst. ; 21 cmSubject(s): Genre/Form: Dissertation note: München, Univ., Diss. : 1985 Call number: Grundsignatur: 86 DA 1918PPN: PPN: 16209602X| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 86 DA 1918 | Available | 40887501 |
Total holds: 0