12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 -- July 1, 2021

DOI10.4230/LIPICS.ITP.2021.0zbMATH Open1465.68016MaRDI QIDQ5000334FDOQ5000334

Authors:

Publication date: 12 July 2021

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2021/13894/pdf/lipics-vol193-itp2021-complete.pdf

Recommendations

• Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18--24, 2020
• Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part II
• Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part I
• Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6--9, 2021. Proceedings
• Editorial: The Italian conference on theoretical computer science

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (2)

• Binary codes that do not preserve primitivity
• Formalizing free groups in Isabelle/HOL: the Nielsen-Schreier theorem and the conjugacy problem

This page was built for publication: 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 -- July 1, 2021

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000334)