( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning with Executable Specifications.

, и . TAPSOFT, том 915 из Lecture Notes in Computer Science, стр. 531-545. Springer, (1995)

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.

Yves Robert

Yves Steinmetz

Yves Hoffmann

Yves Gensterblum

Yves Burkhardt

 

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

Vérification formelle d'extractions de racines entières.. Technique et Science Informatiques, 24 (9): 1161-1185 (2005)A Short Presentation of Coq.. TPHOLs, том 5170 из Lecture Notes in Computer Science, стр. 12-16. Springer, (2008)Type-Theoretic Functional Semantics., , и . TPHOLs, том 2410 из Lecture Notes in Computer Science, стр. 83-98. Springer, (2002)Formal Study of Plane Delaunay Triangulation., и . ITP, том 6172 из Lecture Notes in Computer Science, стр. 211-226. Springer, (2010)Reasoning with Executable Specifications., и . TAPSOFT, том 915 из Lecture Notes in Computer Science, стр. 531-545. Springer, (1995)Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions, и . Texts in Theoretical Computer Science. An EATCS Series Springer, (2004)Interactive Theorem Proving and Program Development : Coq'Art : The Calculus of Inductive Constructions, и . Texts in Theoretical Computer Science Springer, 2004 издание, (14.05.2004)Le Coq'Art, и . Hardcover, (31.01.2015)Fixed point semantics and partial recursion in Coq., и . PPDP, стр. 89-96. ACM, (2008)Fix-Point Equations for Well-Founded Recursion in Type Theory., и . TPHOLs, том 1869 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2000)