Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yashe Liu
Koh Aoki
Yan-Han Chew
Motoharu Sonogashira
João Garcia
Bhupendra Singh
David J. Westover
Axel Löffler
Sebastian Magda
David MacDonald
Home
/
Paper
/
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof
Paper Info
Open Visualization
Title
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof
Year
DOI
Venue
1991
10.1007/978-1-4471-3494-7_3
LOPSTR
DocType
Citations
PageRank
Conference
2
0.41
References
Authors
5
4
Authors (4 rows)
Cited by (2 rows)
References (5 rows)
Name
Order
Citations
PageRank
Geraint Wiggins
1
401
52.80
A. Bundy
2
3713
532.03
Ina Kraan
3
183
18.79
J. Hesketh
4
2
0.41
1