Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Wolfram Pohler (1973)
Manuscripta mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Charakterisierung der affinen Geometrien durch ein kategorientheoretisches Axiomsystem.”
Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Ein massentheoretisches Marginalproblem.
Ulrich Oppel (1973)
Manuscripta mathematica
Similarity:
Ein Kongruenzsatz für Eiflächen.
Rainer Walden, Wilhelm Vortisch (1970)
Manuscripta mathematica
Similarity:
Über Quadrate der affinen Rechtwinkelgeometrie.
H.-G. Zimmer (1958)
Mathematische Annalen
Similarity:
Über ein Transmissionsproblem mit Integro-Differentialbedingungen.
Jörg Donig (1977/78)
Manuscripta mathematica
Similarity:
Über die Cohomologie von BSO (2k+1) und Vn,2.
Rolf Kultze (1971)
Manuscripta mathematica
Similarity:
Die Minimalhyperregelflächen.
Günter Aumann (1981)
Manuscripta mathematica
Similarity:
Transformationsgruppen mit affinen Bahnen.
Rainer Felix (1986)
Mathematische Annalen
Similarity:
Linearkombinationen von iterierten Bernsteinoperatoren.
Günter Felbecker (1979)
Manuscripta mathematica
Similarity:
Zur affinen Differentialgeometrie I.
Wilhelm Klingenberg (1951)
Mathematische Zeitschrift
Similarity:
Durch Matrixverschiebungen erweiterte Konvergenzbegriffe.
Rolf Neuser (1982)
Mathematische Zeitschrift
Similarity:
Filters and Simple Graphic Algebras.
Juhani Nieminen (1977)
Manuscripta mathematica
Similarity:
Differentialgleichungen in Jordantripelsystemen.
Oda Kühn (1975)
Manuscripta mathematica
Similarity:
Ein dreidimensionales Gitterpunktproblem.
Werner Georg Nowak (1980/81)
Manuscripta mathematica
Similarity:
Exakte Paare und Kettenkomplexe.
Jens-Uwe Mertens (1973)
Manuscripta mathematica
Similarity:
Divergenzverhalten mehrdimensionaler Shannonscher Abtastreihen.
Holger Boche (1998)
Manuscripta mathematica
Similarity: