PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Schröder, Lutz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monodic Fragments of Probabilistic First-Order Logic.

, , , und . ICALP (2), Volume 8573 von Lecture Notes in Computer Science, Seite 256-267. Springer, (2014)

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.

Antje Schröder University of Stuttgart

Prof. Dr. Gerhart Schröder University of Stuttgart

Anja Schröder University of Stuttgart

Rebekka Lutz University of Stuttgart

Univ. -Prof. Dr. rer. nat. Eric Lutz University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

On Inconsistency and Unsatisfiability., und . Int. J. Software and Informatics, 9 (2): 141-152 (2015)A Generic Complete Dynamic Logic for Reasoning About Purity and Effects., , und . FASE, Volume 4961 von Lecture Notes in Computer Science, Seite 199-214. Springer, (2008)Monad-Independent Hoare Logic in HASCASL., und . FASE, Volume 2621 von Lecture Notes in Computer Science, Seite 261-277. Springer, (2003)Flat Coalgebraic Fixed Point Logics., und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 524-538. Springer, (2010)A Characterization Theorem for a Modal Description Logic., und . IJCAI, Seite 1304-1310. ijcai.org, (2017)Life without the Terminal Type.. CSL, Volume 2142 von Lecture Notes in Computer Science, Seite 429-442. Springer, (2001)Preface to CALCO-Tools.. CALCO, Volume 8089 von Lecture Notes in Computer Science, Seite 314. Springer, (2013)Strong Completeness of Coalgebraic Modal Logics., und . STACS, Volume 3 von LIPIcs, Seite 673-684. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)Extending ALCQ with Bounded Self-Reference., und . Advances in Modal Logic, Seite 300-316. College Publications, (2012)Probabilistic Description Logics for Subjective Uncertainty., und . KR, AAAI Press, (2010)