Author Info
Name
Affiliation
Papers
CHARLY GRIES
University of Strasbourg
1
Collaborators
Citations 
PageRank 
3
1
0.35
Referers 
Referees 
References 
3
19
10
Title
Citations
PageRank
Year
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.10.352019