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.

 

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

One More Revolution to Make: Free Scientific Publishing. CoRR, (2001)Some Remarks on Boolean Constraint Propagation. CoRR, (2000)A Denotational Semantics for First-Order Logic. CoRR, (2000)The Many Faces of Rationalizability. CoRR, (2006)Some Remarks on Boolean Constraint Propagation.. New Trends in Constraints, том 1865 из Lecture Notes in Computer Science, стр. 91-107. Springer, (1999)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)The Rough Guide to Constraint Propagation.. CP, том 1713 из Lecture Notes in Computer Science, стр. 1-23. Springer, (1999)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)