2 citations · 4 across the 5 of their papers we have counts for
1 paper · 2 filters
Michal Konečný, Sewon Park, Holger Thies
Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a construct…