PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rabe, Florian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

, , , , , , , , , und . CICM, Volume 9791 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2016)

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.

Dr. Rolf Rabenseifner University of Stuttgart

Florian Weiss

PD Dr. -Ing. Florian Bauer University of Stuttgart

Florian Helber University of Stuttgart

Florian Seibold University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Representing Model Theory in a Type-Theoretical Logical Framework., und . Electr. Notes Theor. Comput. Sci., (2009)The Future of Logic: Foundation-Independence.. Logica Universalis, 10 (1): 1-20 (2016)Solving the $100 modal logic challenge., , , und . J. Applied Logic, 7 (1): 113-130 (2009)A Modular Type Reconstruction Algorithm.. ACM Trans. Comput. Log., 19 (4): 24:1-24:43 (2018)QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge., und . J. Formalized Reasoning, 9 (1): 201-234 (2016)Project Abstract: Logic Atlas and Integrator (LATIN)., , , , und . Calculemus/MKM, Volume 6824 von Lecture Notes in Computer Science, Seite 289-291. Springer, (2011)The MMT API: A Generic MKM System.. MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 339-343. Springer, (2013)Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach., , , , , , , , , und . CICM, Volume 9791 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2016)Formal Logic Definitions for Interchange Languages., und . CICM, Volume 9150 von Lecture Notes in Computer Science, Seite 171-186. Springer, (2015)Relational Data Across Mathematical Libraries., , , , , und . CICM, Volume 11617 von Lecture Notes in Computer Science, Seite 61-76. Springer, (2019)