PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Berghofer, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanizing the metatheory of LF.

, , und . ACM Trans. Comput. Log., 12 (2): 15:1-15:42 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Schubert University of Stuttgart

Experimental and Numerical Data for: "Micro-PIV study on the influence of viscosity on the dynamics of droplet impact onto a thin film", und . Dataset, (2024)Related to: Schubert, S., Steigerwald, J., Geppert, A.K. et al. Micro-PIV study on the influence of viscosity on the dynamics of droplet impact onto a thin film. Exp Fluids 65, 69 (2024). doi: 10.1007/s00348-024-03800-5.

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

Stefan Keuler University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

The Group Law for Elliptic Curves.. Archive of Formal Proofs, (2017)Mechanizing the metatheory of LF., , und . ACM Trans. Comput. Log., 12 (2): 15:1-15:42 (2011)A Constructive Proof of Higman's Lemma in Isabelle.. TYPES, Volume 3085 von Lecture Notes in Computer Science, Seite 66-82. Springer, (2003)Extending Hindley-Milner Type Inference with Coercive Structural Subtyping., , und . APLAS, Volume 7078 von Lecture Notes in Computer Science, Seite 89-104. Springer, (2011)Logic-Free Reasoning in Isabelle/Isar., und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 355-369. Springer, (2008)Proofs, programs and executable specifications in higher order logic.. Technical University Munich, (2003)Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts., , und . FoSSaCS, Volume 2030 von Lecture Notes in Computer Science, Seite 364-378. Springer, (2001)A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL., und . IJCAR, Volume 4130 von Lecture Notes in Computer Science, Seite 498-512. Springer, (2006)Extracting a Normalization Algorithm in Isabelle/HOL.. TYPES, Volume 3839 von Lecture Notes in Computer Science, Seite 50-65. Springer, (2004)Program Extraction in Simply-Typed Higher Order Logic.. TYPES, Volume 2646 von Lecture Notes in Computer Science, Seite 21-38. Springer, (2002)