scientific article; zbMATH DE number 7573871

DOI10.4230/LIPICS.ITP.2022.0zbMATH Open1494.68006MaRDI QIDQ5097166FDOQ5097166

Authors:

Publication date: 21 August 2022

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2022/16708/pdf/lipics-vol237-itp2022-complete.pdf

Title of this publication is not available (Why is that?)

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 (3)

• Title not available (Why is that?)
• Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings
• Mathematics and the formal turn

This page was built for publication:

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