PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Studer, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms.

, und . Ann. Pure Appl. Logic, 114 (1-3): 79-101 (2002)

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.

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , und . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Ph. D. Thomas Günther University of Stuttgart

Evaluation of ultra-precision milling strategies for micro lens array mould inserts for the replication by injection-compression moulding, , , und . Proceedings of the 18th International Conference of the European Society for Precision Engineering and Nanotechnology, Seite 303-304. Bedford, euspen, (2018)

Univ. -Prof. Dr. Thomas Schleid University of Stuttgart

Die Serie caesiumhaltiger Thioarsenate(V) der Lanthanoide vom Formeltyp Cs3LnAsS42 mit Ln = La–Nd und Sm, und . Zeitschrift für Naturforschung. B, Chemical sciences, 79 (1): 29-38 (2024)

Prof. Dr. Thomas Ertl University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , und . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, Seite 10. New York, Association for Computing Machinery, (2022)

Univ. -Prof. Dr. Thomas Graf University of Stuttgart

CW thin-disk laser emitting kW-class beams with radial polarization, , , , , , und . 2017 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC), IEEE, (2017)
 

Weitere Publikationen von Autoren mit dem selben Namen

Canonical completeness of infinitary mu., , und . J. Log. Algebr. Program., 76 (2): 270-292 (2008)On the Proof Theory of the Modal mu-Calculus.. Studia Logica, 89 (3): 343-363 (2008)Relevant Justification Logic., und . FLAP, 6 (2): 397-412 (2019)Syntactic cut-elimination for a fragment of the modal mu-calculus., und . Ann. Pure Appl. Logic, 163 (12): 1838-1853 (2012)The Logic of Temporal Domination.. RIVF, Seite 1-4. IEEE, (2019)Improving Semantic Query Answering., und . DEXA, Volume 4653 von Lecture Notes in Computer Science, Seite 671-679. Springer, (2007)Probabilistic ABox Reasoning: Preliminary Results., und . Description Logics, Volume 147 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)Extending the system T0 of explicit mathematics: the limit and Mahlo axioms., und . Ann. Pure Appl. Logic, 114 (1-3): 79-101 (2002)A Semantics for lambda: a Calculus with Overloading and Late-binding.. J. Log. Comput., 11 (4): 527-544 (2001)Privacy Preserving Modules for Ontologies.. Ershov Memorial Conference, Volume 5947 von Lecture Notes in Computer Science, Seite 380-387. Springer, (2009)