( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Distributed Epistemic Gossip Protocols.

, и . J. Artif. Intell. Res., (2018)

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.

Christa Apt

Hans Apt

Doris Apt

Fritz Werner Apt

Sabit Jakubov Aptiev

 

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

A Generic Approach to Coalition Formation., и . IGTR, 11 (3): 347-367 (2009)The Many Faces of Rationalizability. CoRR, (2006)Open Problems in a Logic of Gossips., и . TARK, том 297 из EPTCS, стр. 1-18. (2019)Coordination Games on Weighted Directed Graphs., , и . CoRR, (2019)Self-stabilization Through the Lens of Game Theory., и . It's All About Coordination, том 10865 из Lecture Notes in Computer Science, стр. 21-37. Springer, (2018)Program Verification: To Err is Human.. Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 3-5. Springer, (2016)Two Normal Form Theorems for CSP Programs., , и . Inf. Process. Lett., 26 (4): 165-171 (1987)A Denotational Semantics for First-Order Logic. CoRR, (2000)Some Remarks on Boolean Constraint Propagation. CoRR, (2000)One More Revolution to Make: Free Scientific Publishing. CoRR, (2001)