scientific article; zbMATH DE number 7699437

DOI10.4230/lipics.itp.2021.20MaRDI QIDQ6099609

Fabian Kunze, Unnamed Author

Publication date: 20 June 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational modelNP completenessCoqLevinCook

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Verifying the conversion into CNF in dafny

This page was built for publication: