Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Hao Mao
Peter Malec
Byung Doo Kim
Kentaro Oda
Giovanni Venturelli
Chen Ma
Alessandro Busacca
Radu Timofte
Kuanrui Yin
Home
/
Paper
/
Analysis in a Formal Predicative Set Theory.
Paper Info
Open Visualization
Title
Analysis in a Formal Predicative Set Theory.
Year
DOI
Venue
2021
10.1007/978-3-030-88853-4_11
WoLLIC
DocType
Citations
PageRank
Conference
0
0.34
References
Authors
0
2
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Nissan Levi
1
4
1.58
Arnon Avron
2
1292
147.65
1