Mitschke, Gerd. "Ein algebraischer Beweis für das Church-Rosser-Theorem.." Archiv für mathematische Logik und Grundlagenforschung 15 (1972): 146-157. <http://eudml.org/doc/137876>.
@article{Mitschke1972, author = {Mitschke, Gerd}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, pages = {146-157}, title = {Ein algebraischer Beweis für das Church-Rosser-Theorem.}, url = {http://eudml.org/doc/137876}, volume = {15}, year = {1972}, }
TY - JOUR AU - Mitschke, Gerd TI - Ein algebraischer Beweis für das Church-Rosser-Theorem. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1972 VL - 15 SP - 146 EP - 157 UR - http://eudml.org/doc/137876 ER -