Documents
Etudes supérieures
A formal framework for specifying sequent calculus proof systems
Auteur
Elaine Pimentelb
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.