( en | de | ru )

 

Disambiguierung von "Benevides, Mario R. F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temporal logic for social networks.

, und . J. Log. Comput., 32 (6): 1088-1108 (2022)

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.

F R Schilling

F -R Müller

R F Weiss

F -R Müller

Maximilian F R Hoffmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Mechanisms for Specifying Communication Behavior in Object Oriented Database., , und . SAC (1), Seite 389-397. ACM, (2000)A Propositional Dynamic Logic for CCS Programs., und . WoLLIC, Volume 5110 von Lecture Notes in Computer Science, Seite 83-97. Springer, (2008)Sharing Resources at Nonuniform Access Rates., , und . Theory Comput. Syst., 34 (1): 13-26 (2001)Squares in Fork Arrow Logic., , , , und . J. Philosophical Logic, 32 (4): 343-355 (2003)CCS-Based Dynamic Logics for Communicating Concurrent Programs, und . CoRR, (2009)Hybrid Logics and NP Graph Properties., , , , und . WoLLIC, Volume 6642 von Lecture Notes in Computer Science, Seite 123-134. Springer, (2011)A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus., und . M4M, Volume 262 von Electronic Notes in Theoretical Computer Science, Seite 49-64. Elsevier, (2009)Mediating Heterogeneous Web Services., , und . SAINT, Seite 344-347. IEEE Computer Society, (2003)On Graph Calculi for Multi-modal Logics., , und . LSFA, Volume 312 von Electronic Notes in Theoretical Computer Science, Seite 231-252. Elsevier, (2014)Extending Propositional Dynamic Logic for Petri Nets., , und . LSFA, Volume 305 von Electronic Notes in Theoretical Computer Science, Seite 67-83. Elsevier, (2013)