New and Formalized Proofs for Right-Forward Closures and Core Matrix Interpretations.

Ren Thiemann, Dieter Hofbauer, Ulysse Le Huitouze, Johannes Waldmann

Browse the full FSCD paper archive.