scientific article; zbMATH DE number 7573871
From MaRDI portal
Publication:5097166
DOI10.4230/LIPIcs.ITP.2022.0zbMath1494.68006MaRDI QIDQ5097166
No author found.
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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
This page was built for publication:
