Documents
Etudes supérieures
March This is an expanded version of the LICS'05 submission Mistakes have been corrected and the relative emphasis of axioms has changed but the claims are strictly identical
Auteur
Francois Lamarche
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.