Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Wence Zhang
Koh Aoki
Yan-Han Chew
Motoharu Sonogashira
Bhupendra Singh
Artur Wiklik
David J. Westover
Sebastian Magda
David MacDonald
Hana Rezanková
Home
/
Author
/
J. HESKETH
Author Info
Open Visualization
Name
Papers
Collaborators
J. HESKETH
1
3
Citations
PageRank
Referers
2
0.41
5
Referees
References
10
5
Publications (1 rows)
Collaborators (3 rows)
Referers (5 rows)
Referees (10 rows)
Title
Citations
PageRank
Year
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof
2
0.41
1991
1