Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Renato Dilli
Aalhad A. Deshmukh
Q. Duan
Lingxi Ma
James L. Flanagan
Yu-bo Tan
Artur Quintas
Stefanie Fischer-Dieskau
Trang Pham
Joosung Lee
Home
/
Author
/
CATHERINE PARENT
Author Info
Open Visualization
Name
Papers
Collaborators
CATHERINE PARENT
1
0
Citations
PageRank
Referers
14
1.43
19
Referees
References
7
6
Publications (1 rows)
Collaborators (0 rows)
Referers (19 rows)
Referees (7 rows)
Title
Citations
PageRank
Year
Synthesizing Proofs from Programs in the Calculus of Inductive Constructions
14
1.43
1995
1