New and Formalized Proofs for Right-Forward Closures and Core Matrix Interpretations
2026 · International Conference on Formal Structures for Computation and Deduction · pp. 32:1-32:19 · 0 citations
· 33 references
Computer Science