( en | de | ru )

 

Disambiguierung von "Valencia, Frank"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning about distributed information with infinitely many agents.

, , , , , und . J. Log. Algebraic Methods Program., (2021)

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.

Alvaro Valencia

William Valencia

Ray Valencia

Meiser Valencia

Emperatriz Valencia Chaves

 

Weitere Publikationen von Autoren mit dem selben Namen

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming., , , und . WRLA@ETAPS, Volume 11152 von Lecture Notes in Computer Science, Seite 226-244. Springer, (2018)Counting and Computing Join-Endomorphisms in Lattices., , , und . RAMiCS, Volume 12062 von Lecture Notes in Computer Science, Seite 253-269. Springer, (2020)Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge., , , und . RAMiCS, Volume 13027 von Lecture Notes in Computer Science, Seite 413-432. Springer, (2021)Toward a Formal Model for Group Polarization in Social Networks., , und . The Art of Modelling Computational Systems, Volume 11760 von Lecture Notes in Computer Science, Seite 419-441. Springer, (2019)Reducing Weak to Strong Bisimilarity in CCP, , , und . ICE, Volume 104 von EPTCS, Seite 2-16. (2012)Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic., , , und . WRLA, Volume 14953 von Lecture Notes in Computer Science, Seite 104-123. Springer, (2024)Make Puzzles Great Again., , , und . The Art of Modelling Computational Systems, Volume 11760 von Lecture Notes in Computer Science, Seite 442-459. Springer, (2019)Universal Timed Concurrent Constraint Programming., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 464-465. Springer, (2007)Proving Musical Properties using a temporal Concurrent Constraint Calculus., und . ICMC, Michigan Publishing, (2002)A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases., , , und . FORTE, Volume 14678 von Lecture Notes in Computer Science, Seite 3-19. Springer, (2024)