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
Amalgamation in the semantics of CASL.

, , , , und . Theor. Comput. Sci., 331 (1): 215-247 (2005)

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

Monad-independent Dynamic Logic in HasCasl., und . J. Log. Comput., 14 (4): 571-619 (2004)Cut elimination in coalgebraic logics., und . Inf. Comput., 208 (12): 1447-1468 (2010)A coinductive calculus for asynchronous side-effecting processes., und . Inf. Comput., (2013)From the Editors., und . J. Comput. Syst. Sci., 81 (5): 797-798 (2015)Expressivity of coalgebraic modal logic: The limits and beyond.. Theor. Comput. Sci., 390 (2-3): 230-247 (2008)Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables., , und . FLAIRS Conference, Seite 665-670. AAAI Press, (2007)Probabilistic Description Logics for Subjective Uncertainty., und . KR, AAAI Press, (2010)Extending ALCQ with Bounded Self-Reference., und . Advances in Modal Logic, Seite 300-316. College Publications, (2012)On Inconsistency and Unsatisfiability., und . Int. J. Software and Informatics, 9 (2): 141-152 (2015)Amalgamation in the semantics of CASL., , , , und . Theor. Comput. Sci., 331 (1): 215-247 (2005)