A revised projectivity calculus for inclusion and exclusion reasoning
From MaRDI portal
Publication:783670
DOI10.1007/S10849-019-09292-5zbMath1477.03108OpenAlexW2947086026WikidataQ127808224 ScholiaQ127808224MaRDI QIDQ783670
Publication date: 4 August 2020
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-019-09292-5
Cites Work
This page was built for publication: A revised projectivity calculus for inclusion and exclusion reasoning