scientific article; zbMATH DE number 7724260
From MaRDI portal
Publication:6113375
DOI10.4230/LIPICS.MFCS.2021.87arXiv2104.14021MaRDI QIDQ6113375
Davide Trotta, V. C. V. de Paiva, Matteo Spadetto
Publication date: 8 August 2023
Full work available at URL: https://arxiv.org/abs/2104.14021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Dialectica logical principles ⋮ Dialectica principles via Gödel doctrines ⋮ A characterization of generalized existential completions
This page was built for publication:
