Author Info
Name
Affiliation
Papers
JEAN VUILLEMIN
Iria-Laboria 78150 Rocquencourt France 78150 Rocquencourt France
1
Collaborators
Citations 
PageRank 
1
0
0.34
Referers 
Referees 
References 
0
8
4
Title
Citations
PageRank
Year
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques00.341974