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 “Ein massentheoretisches Marginalproblem.”
Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Über ein Transmissionsproblem mit Integro-Differentialbedingungen.
Jörg Donig (1977/78)
Manuscripta mathematica
Similarity:
Ein verschärfter und verallgemeinerter Satz von Alexandrov.
Ulrich Huckenbeck (1987)
Manuscripta mathematica
Similarity:
Ein Kongruenzsatz für Eiflächen.
Rainer Walden, Wilhelm Vortisch (1970)
Manuscripta mathematica
Similarity:
Ein dreidimensionales Gitterpunktproblem.
Werner Georg Nowak (1980/81)
Manuscripta mathematica
Similarity:
Lokalkreisförmige Vektorgruppen.
Pawel Lurje (1974)
Manuscripta mathematica
Similarity:
Divergenzverhalten mehrdimensionaler Shannonscher Abtastreihen.
Holger Boche (1998)
Manuscripta mathematica
Similarity:
Einbettungen Steinscher Mannigfaltigkeiten.
Ulrich Schafft (1984)
Manuscripta mathematica
Similarity:
Filters and Simple Graphic Algebras.
Juhani Nieminen (1977)
Manuscripta mathematica
Similarity:
Differentialgleichungen in Jordantripelsystemen.
Oda Kühn (1975)
Manuscripta mathematica
Similarity:
W-Gleitgleitkinematik.
Karlheinz Spallek (1992)
Manuscripta mathematica
Similarity:
Decktransformationen transnormaler Mannigfaltigkeiten.
Bernd Wegner (1971)
Manuscripta mathematica
Similarity:
Liftungen von Triplen.
Dietmar Wätjen (1974)
Manuscripta mathematica
Similarity:
Die zweifachen Blutelschen Kegelschnittflächen.
Wendelin Degen (1986)
Manuscripta mathematica
Similarity:
Orthonormalbasen in der nichtarchimedischen Funktionentheorie.
Siegfried Bosch (1969)
Manuscripta mathematica
Similarity:
Äquivariante Whiteheadtorsion.
Henning Hausschild (1978/79)
Manuscripta mathematica
Similarity:
Präradikale und Morphismenklassen.
Günther Hauger (1970)
Manuscripta mathematica
Similarity:
Nielsensche Realisierungssätze für Seifertfaserungen.
Bruno Zimmermann (1985)
Manuscripta mathematica
Similarity: