scientific article; zbMATH DE number 7205323
From MaRDI portal
Publication:5111895
DOI10.4230/LIPICS.RTA.2012.38zbMATH Open1437.68073MaRDI QIDQ5111895FDOQ5111895
Quratul-Ain Mahesar, Osama al-Hassani, Volker Sorge, Claudio Sacerdoti Coen
Publication date: 27 May 2020
Title of this publication is not available (Why is that?)
Grammars and rewriting systems (68Q42) Topological spaces and generalizations (closure spaces, etc.) (54A05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
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 Q5111895)
