Volume: Vol-3875 ARQNL 2024 | Year: 2024

Paper: « ARQNL2024_paper7 | ARQNL2024_paper8

A Proof-Theoretical Approach to Some Extensions of First Order Quantification

• Loïc Allègre dblp
• Christian Retoré ORCID dblp Wikidata
• Ophélie Lacroix dblp

92-107 PDF