Termersetzungssysteme: Vorlesung an der Fakultät Mathematik und Informatik der Universität Leipzig

Description

1 Einführung, 2 Termersetzungssysteme, 3 Konfuenz und Termination, 4 Vervollständigung von Termersetzungssystemen, 5 Termination von Termersetzungssystemen

Links & Downloads

1. urn:nbn:de:bsz:15-qucosa2-320726
2. https://ul.qucosa.de/id/qucosa%3A32072
3. https://ul.qucosa.de/api/qucosa%3A32072/attachment/ATT-0/

Tags

info:eu-repo/classification/ddc/000

ddc:000

Additional Fields

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