Ein algebraischer Beweis für das Church-Rosser-Theorem.

Gerd Mitschke

Archiv für mathematische Logik und Grundlagenforschung (1972)

  • Volume: 15, page 146-157
  • ISSN: 0003-9268

How to cite

top

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 -

NotesEmbed ?

top

You must be logged in to post comments.