La lecture à portée de main
Auteur
Suivre Pablo Buiras1
Documents
Confluence via strong normalisation in an algebraic calculus with rewriting
Pablo Buiras1
Documents
Cours
Confluence via strong normalisation in an algebraic calculus with rewriting
Pablo Buiras1
43 pages
English