( en | de | ru )

 

Disambiguierung von "Olarte, Carlos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.

, , , und . CoRR, (2024)

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.

Andrés Alfonso Peña Olarte

Carlos Bäzner

Carlos Cardonha

Carlos Köhler

Carlos Oberacker

 

Weitere Publikationen von Autoren mit dem selben Namen

Universal concurrent constraint programing: symbolic semantics and applications to security., und . SAC, Seite 145-150. ACM, (2008)Hybrid and Subexponential Linear Logics., , und . LSFA, Volume 332 von Electronic Notes in Theoretical Computer Science, Seite 95-111. Elsevier, (2016)Models and emerging trends of concurrent constraint programming., , und . Constraints An Int. J., 18 (4): 535-578 (2013)Hybrid linear logic, revisited., , , und . Math. Struct. Comput. Sci., 29 (8): 1151-1176 (2019)Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic., , , und . CoRR, (2024)A linear logic framework for multimodal logics., , und . Math. Struct. Comput. Sci., 32 (9): 1176-1204 (Oktober 2022)Foundations for Reliable and Flexible Interactive Multimedia Scores., , , und . MCM, Volume 9110 von Lecture Notes in Computer Science, Seite 29-41. Springer, (2015)A framework for abstract interpretation of timed concurrent constraint programs., , und . PPDP, Seite 207-218. ACM, (2009)A Constraint-based Language for Multiparty Interactions., und . LSFA, Volume 351 von Electronic Notes in Theoretical Computer Science, Seite 25-50. Elsevier, (2020)Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk)., , und . FSCD, Volume 195 von LIPIcs, Seite 3:1-3:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)