Focused and Synthetic Nested Sequents (Extended Technical Report)

Partager "Focused and Synthetic Nested Sequents (Extended Technical Report)"

N/A

Protected

Année scolaire: 2021

Info

Protected

Academic year: 2021

Partager "Focused and Synthetic Nested Sequents (Extended Technical Report)"

Copied!

Texte intégral

Références

Documents relatifs