Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Clayton D. Scott
Zhentao Jiang
muljowidodo kartidjo
Duzgun, H.Sebnem
Jean Jourdan
Roland Zumkeller
Maximilian Dürr
Dan Graur
Cheng Chen
Sérgio Soares
Home
/
Paper
/
Shaving with Occam's Razor - Deriving Minimalist Theorem Provers for Minimal Logic.
Paper Info
Open Visualization
Title
Shaving with Occam's Razor - Deriving Minimalist Theorem Provers for Minimal Logic.
Year
Venue
DocType
2018
RCRA@FLoC
Conference
Citations
PageRank
References
0
0.34
0
Authors
1
Authors (1 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Paul Tarau
1
1529
113.14
1