( en | de | ru )

 

Disambiguation of "Tankink, Carst"

Author of the publication

copydeleteadd this publication to your clipboard
Statman's Hierarchy Theorem.

, , , , , and . Log. Methods Comput. Sci., (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Agathe Carst

Angela Patricia Carstens

Werner Carstens

Ulrike Carstensen

Felicitas Carstens

 

Other publications of authors with the same name

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