Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Wolfram Pohler (1973)
Manuscripta mathematica
Similarity:
Wolfram Pohler (1973)
Manuscripta mathematica
Similarity:
Ulrich Oppel (1973)
Manuscripta mathematica
Similarity:
Wolf von Wahl (1975)
Manuscripta mathematica
Similarity:
Rainer Walden, Wilhelm Vortisch (1970)
Manuscripta mathematica
Similarity:
Werner Georg Nowak (1980/81)
Manuscripta mathematica
Similarity:
Gert-Martin Greuel, Christian Brücker (1991)
Manuscripta mathematica
Similarity:
Ulrich Huckenbeck (1987)
Manuscripta mathematica
Similarity:
Pawel Lurje (1974)
Manuscripta mathematica
Similarity:
Oda Kühn (1975)
Manuscripta mathematica
Similarity:
Holger Boche (1998)
Manuscripta mathematica
Similarity:
Karlheinz Spallek (1992)
Manuscripta mathematica
Similarity:
Juhani Nieminen (1977)
Manuscripta mathematica
Similarity:
Bernd Wegner (1971)
Manuscripta mathematica
Similarity:
Rolf Jäger (1986)
Manuscripta mathematica
Similarity:
Wendelin Degen (1986)
Manuscripta mathematica
Similarity:
Dietmar Wätjen (1974)
Manuscripta mathematica
Similarity:
K. Friedrichs (1934)
Mathematische Annalen
Similarity: