Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6874864 | Journal of Logical and Algebraic Methods in Programming | 2018 | 38 Pages |
Abstract
Underlying these results is the “meta-result” that we can perform a limited amount of arithmetic inside the field itself, with no access to a separate sort of natural numbers.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Siddharth Bhaskar,