scientific article; zbMATH DE number 7699434

DOI10.4230/lipics.itp.2021.17MaRDI QIDQ6099604

Christian Doczkal

Publication date: 20 June 2023

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

zbMATH Keywords

planarityCoqhypermapsgraph-theorymathcomp

Mathematics Subject Classification ID

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

This page was built for publication: