Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Syntactic cut-elimination for a fragment of the modal mu-calculus.

K. Brünnler, und T. Studer. Ann. Pure Appl. Logic, 163 (12): 1838-1853 (2012)

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?J. Taron, P. Martirosian, T. Küstner, M. Notohamiprodjo, J. Weiß, A. Othman, K. Nikolaou, und C. Schraml. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?J. Taron, P. Martirosian, T. Küstner, M. Notohamiprodjo, J. Weiß, A. Othman, K. Nikolaou, und C. Schraml. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)The use of a generalized reconstruction by inversion of coupled systems (GRICS) approach for generic respiratory motion correction in PET/MR imagingH. Fayad, F. Odille, H. Schmidt, C. Würslin, T. Küstner, J. Felblinger, und D. Visvikis. Physics in medicine and biology, 60 (6): 2529-46 (März 2015)In-vivo MR-derived non-rigid motion correction of simultaneously acquired PETT. Küstner, C. Würslin, S. Gatidis, P. Martirosian, N. Schwenzer, B. Yang, und H. Schmidt. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Toronto, Canada, (Juni 2015)

Ph. D. Thomas Günther University of Stuttgart

Thomas Bauernhansel

Thomas Münzing

Thomas Vietor

Weitere Publikationen von Autoren mit dem selben Namen

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