Volume: Vol-3875 ARQNL 2024 | Year: 2024

Paper: « ARQNL2024_paper1 | ARQNL2024_paper2 | ARQNL2024_paper3 »

Implementing Intermediate Logics

• Jens Otten dblp
• Revantha Ramanayake ORCID dblp Wikidata GND
• Bastiaan Haaksema dblp

14-23 PDF