( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Asynchronous processing of Coq documents: from the kernel up to the user interface.

, , и . CoRR, (2015)

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.

Agathe Carst

Angela Patricia Carstens

Werner Carstens

Ulrike Carstensen

Gerhard Carstens

 

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

Proof in Context - Web Editing with Rich, Modeless Contextual Feedback.. UITP, том 118 из EPTCS, стр. 42-56. (2012)Improving an interactive visualization of transition systems., и . SOFTVIS, стр. 115-124. ACM, (2008)Proviola: A Tool for Proof Re-animation., , , и . AISC/MKM/Calculemus, том 6167 из Lecture Notes in Computer Science, стр. 440-454. Springer, (2010)Point-and-Write - Documenting Formal Mathematics by Reference., , и . AISC/MKM/Calculemus, том 7362 из Lecture Notes in Computer Science, стр. 169-185. Springer, (2012)Statman's Hierarchy Theorem., , , , , и . Log. Methods Comput. Sci., (2017)Coqoon - An IDE for Interactive Proof Development in Coq., , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 316-331. Springer, (2016)Coqoon - An IDE for interactive proof development in Coq., , , и . Int. J. Softw. Tools Technol. Transf., 20 (2): 125-137 (2018)Dynamic Proof Pages., и . MathWikis@ITP, том 767 из CEUR Workshop Proceedings, стр. 45-48. CEUR-WS.org, (2011)PIDE for Asynchronous Interaction with Coq.. UITP, том 167 из EPTCS, стр. 73-83. (2014)Communicating Formal Proofs: The Case of Flyspeck., , , и . ITP, том 7998 из Lecture Notes in Computer Science, стр. 451-456. Springer, (2013)