( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Rough Guide to Constraint Propagation.

. CP, том 1713 из Lecture Notes in Computer Science, стр. 1-23. Springer, (1999)

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

Sabit Jakubov Aptiev

Fritz Werner Apt

 

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

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)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).Open Problems in a Logic of Gossips., и . TARK, том 297 из EPTCS, стр. 1-18. (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)A Denotational Semantics for First-Order Logic. CoRR, (2000)Some Remarks on Boolean Constraint Propagation. CoRR, (2000)Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages.. Theory Pract. Log. Program., 17 (3): 353-358 (2017)One More Revolution to Make: Free Scientific Publishing. CoRR, (2001)