Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Min-Jung Yoo
Barbara Aquilani
David E. Robbins
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Xianwei Zheng
Home
/
Paper
/
First-Order Terms.
Paper Info
Open Visualization
Title
First-Order Terms.
Year
Venue
DocType
2018
Archive of Formal Proofs
Journal
Volume
Citations
PageRank
2018
0
0.34
References
Authors
0
2
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Christian Sternagel
1
202
27.60
René Thiemann
2
984
69.38
1