Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Hao Mao
Jackie Assa
Peter Malec
Aurelien Faravelon
Chuning Zhu
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
DONALD SANNELLA
Author Info
Open Visualization
Name
Papers
Collaborators
DONALD SANNELLA
3
3
Citations
PageRank
Referers
249
74.85
388
Referees
References
43
28
Search Limit
100
388
Publications (3 rows)
Collaborators (3 rows)
Referers (100 rows)
Referees (43 rows)
Title
Citations
PageRank
Year
A calculus for the construction of modular Prolog programs
38
2.75
1992
Completeness of Proof Systems for Equational Specifications
21
4.44
1985
HOPE: An experimental applicative language
190
67.66
1980
1