Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Gustavo Angulo
Rickard Nyman
Motoharu Sonogashira
Bhupendra Singh
Paulo Ricardo Possa
David J. Westover
Yu-Wei Chang
Sebastian Magda
Qian Gao
Tzu-Chien Hsu
Home
/
Author
/
WIL J. M. DEKKERS
Author Info
Open Visualization
Name
Papers
Collaborators
WIL J. M. DEKKERS
1
2
Citations
PageRank
Referers
0
0.34
0
Referees
References
3
2
Publications (1 rows)
Collaborators (2 rows)
Referers (0 rows)
Referees (3 rows)
Title
Citations
PageRank
Year
Are there Hilbert-style Pure Type Systems?
0
0.34
2007
1