( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning about distributed information with infinitely many agents.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alvaro Valencia

William Valencia

Ray Valencia

Meiser Valencia

Emperatriz Valencia Chaves

 

Другие публикации лиц с тем же именем

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming., , , и . WRLA@ETAPS, том 11152 из Lecture Notes in Computer Science, стр. 226-244. Springer, (2018)Counting and Computing Join-Endomorphisms in Lattices., , , и . RAMiCS, том 12062 из Lecture Notes in Computer Science, стр. 253-269. Springer, (2020)Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge., , , и . RAMiCS, том 13027 из Lecture Notes in Computer Science, стр. 413-432. Springer, (2021)Toward a Formal Model for Group Polarization in Social Networks., , и . The Art of Modelling Computational Systems, том 11760 из Lecture Notes in Computer Science, стр. 419-441. Springer, (2019)Fairness and Consensus in a Gossip Model of Social Networks., , , и . CoRR, (2023)Reducing Weak to Strong Bisimilarity in CCP, , , и . ICE, том 104 из EPTCS, стр. 2-16. (2012)Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic., , , и . WRLA, том 14953 из Lecture Notes in Computer Science, стр. 104-123. Springer, (2024)Consensus in Models for Opinion Dynamics with Generalized-Bias., , , и . CoRR, (2024)Proving Musical Properties using a temporal Concurrent Constraint Calculus., и . ICMC, Michigan Publishing, (2002)Universal Timed Concurrent Constraint Programming., , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 464-465. Springer, (2007)