Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Hybrid Logics with Infinitary Proof Systems., , und . J. Log. Comput., 16 (2): 161-175 (2006)Knowledge-Based Asynchronous Programming., , und . Fundam. Informaticae, 63 (2-3): 259-281 (2004)Strong Completeness and Limited Canonicity for PDL., , und . J. Log. Lang. Inf., 18 (2): 291-292 (2009)Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics., , , , und . J. Artif. Soc. Soc. Simul., (2013)Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification., und . Semantics of Specification Languages, Seite 340-355. Springer, (1993)LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K., und . VDM Europe (1), Volume 551 von Lecture Notes in Computer Science, Seite 279-308. Springer, (1991)Kekulé Cells for Molecular Computation, , , , , und . CoRR, (2007)Computations in Fragments of Intuitionistic Propositional Logic., , und . J. Autom. Reason., 7 (4): 537-561 (1991)Finite and infinite implementation of transition systems., und . Theor. Comput. Sci., (2012)Strictness Analysis via Abstract Interpretation for Recursively Defined Types. Inf. Comput., 99 (2): 154-177 (August 1992)