v1
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
- NobleID
- NI3P93W65R75S37
- Persistent link
- https://nobleid.org/ark:/48914/w1/20260515/4D77FADF
Type:Preprint
0 views
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Authors & Claims
Paper Authors