Documents
Cours
Confluence via strong normalisation in an algebraic calculus with rewriting
Auteur
Pablo Buiras1
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.