Ein algebraischer Beweis für das Church-Rosser-Theorem.
Mitschke, Gerd
Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), p. 146-157 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1972-01-01
EUDML-ID : urn:eudml:doc:137876 
@article{GDZPPN002044250,
     title = {Ein algebraischer Beweis f\"ur das Church-Rosser-Theorem.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {15},
     year = {1972},
     pages = {146-157},
     zbl = {0267.02017},
     url = {http://dml.mathdoc.fr/item/GDZPPN002044250}
}

Mitschke, Gerd. Ein algebraischer Beweis für das Church-Rosser-Theorem.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972) pp. 146-157. http://gdmltest.u-ga.fr/item/GDZPPN002044250/