814 search results - page 15 / 163 » Analysis of Modular Arithmetic |
AML
2007
14 years 10 months ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
CORR
2000
Springer
14 years 9 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
DCC
2004
IEEE
15 years 9 months ago
2004
IEEE
ARITH
1993
IEEE
15 years 2 months ago
1993
IEEE
DCC
1993
IEEE
15 years 2 months ago
1993
IEEE