8th International Conference on Formal Structures for Computation and Deduction

Conference Paper

José Santo

Filipa Mendes

Publication

Year of publication: 2023

Identifiers

Locators

URL: https://doi.org/10.4230/LIPICS.FSCD.2023.19

DOI: 10.4230/LIPICS.FSCD.2023.19

Alternative Titles