scientific article; zbMATH DE number 7725937

DOI10.4230/LIPICS.ITP.2023.0zbMATH Open1517.68026MaRDI QIDQ6116439

Author name not available (Why is that?)

Publication date: 11 August 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2023/18374/pdf/lipics-vol268-itp2023-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)

Related Items (1)

A formalization of all notions in the statement of a theorem by Deligne

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 Q6116439)