Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Gregory J. Stein
Sujee Lee
Maria Concetta Palumbo
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Nicolas Zufferey
Radu Timofte
Kuanrui Yin
Home
/
Paper
/
Deduction for Functional Programmers
Paper Info
Open Visualization
Title
Deduction for Functional Programmers
Year
Venue
DocType
1996
J. Funct. Program.
Journal
Volume
Issue
Citations
6
2
0
PageRank
References
Authors
0.34
0
2
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
James J. Leifer
1
244
12.67
Bernard Sufrin
2
127
53.57
1
