From post

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.

 

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

Strategy Elimination in Games with Interaction Structures., , и . LORI, том 5834 из Lecture Notes in Computer Science, стр. 302-315. Springer, (2009)Why the Occur-Check is Not a Problem., и . PLILP, том 631 из Lecture Notes in Computer Science, стр. 69-86. Springer, (1992)long version: TOPLAS 16(3): 687-726 (1994).Diffusion in Social Networks with Competing Products., и . SAGT, том 6982 из Lecture Notes in Computer Science, стр. 212-223. Springer, (2011)Open Problems in a Logic of Gossips., и . TARK, том 297 из EPTCS, стр. 1-18. (2019)Coordination Games on Weighted Directed Graphs., , и . CoRR, (2019)Ten Years of Hoare's Logic: A Survey - Part 1.. ACM Trans. Program. Lang. Syst., 3 (4): 431-483 (1981)The Many Faces of Rationalizability. CoRR, (2006)Search and Imperative Programming., и . POPL, стр. 67-79. ACM Press, (1997)Equivalence of Operational and Denotational Semantics for a Fragment of Pascal.. Formal Description of Programming Concepts, стр. 139-164. North-Holland, (1977)Some Remarks on Boolean Constraint Propagation. CoRR, (2000)