1 Einführung, 2 Termersetzungssysteme, 3 Konfuenz und Termination, 4 Vervollständigung von Termersetzungssystemen, 5 Termination von Termersetzungssystemen
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:32072 |
Date | 01 November 2018 |
Creators | Hartwig, Rolf |
Contributors | Universität Leipzig |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | German |
Detected Language | German |
Type | doc-type:lecture, info:eu-repo/semantics/lecture, doc-type:Text |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0014 seconds