2026
New and Formalized Proofs for Right-Forward Closures and Core Matrix Interpretations
René Thiemann, D. Hofbauer, Ulysse Le Huitouze et al.
· International Conference on... · 0 citations
1 paper indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.