preprint IML 2005-1
Autres papiers (rapports, preprints, etc.)
-
Desequentialization of games and experiments in proof-nets
(Autres papiers (rapports,...)7 avril 2005fichiers : pdf
1 | 2
Desequentialization of games and experiments in proof-nets, preprint IML 2005-1
[pdf]