Searching for "A New "Feasible" Arithmetic." – sorted by Relevance.
-
A New "Feasible" Arithmetic
- A New "Feasible" Arithmetic S. Bellantoni # Martin Hofmann + January 19, 2000 Abstract A
- Cited by 1 (0 self) – Add To MetaCart
-
Functional interpretations of feasibly constructive arithmetic
- Functional Interpretations of Feasibly Constructive Arithmetic1 Stephen Cook2 Alasdair Urquhart3
- Cited by 75 (10 self) – Add To MetaCart
-
Complexity Theory And Bounded Arithmetic For Truly Feasible Computation
- COMPLEXITY THEORY AND BOUNDED ARITHMETIC FOR TRULY FEASIBLE COMPUTATION SATORU KURODA TOYOTA
- Add To MetaCart
-
Feasibility
- to amplitude modulation (AM) used in radio broadcast application. IR technology is feasible for detecting a
- Add To MetaCart
-
On Feasible Numbers
- , seemingly precluding a systematic mathematical study of feasibility. Our aim here is to show that, quite
- Cited by 5 (1 self) – Add To MetaCart
-
• Arithmetic
- ://www.infsec.ethz.ch/education/permanent/csmr/ (rev. 16802) More Detailed Explanations 954 Scons Scons takes two S-expressions and creates a new S
- Add To MetaCart
-
A Feasible Theory for Analysis
- A feasible theory for analysis Fernando Ferreira ∗ Abstract We construct a weak second
- Cited by 12 (1 self) – Add To MetaCart
-
Subnanosecond Arithmetic
- on an active substrate containing several chips, each of which realize a particular arithmetic function
- Cited by 16 (1 self) – Add To MetaCart
-
Cycling in proofs and feasibility
- -9947(99)02300-4 Article electronically published on September 8, 1999 CYCLING IN PROOFS AND FEASIBILITY A. CARBONE
- Cited by 8 (4 self) – Add To MetaCart
-
A new algorithm for switching from arithmetic to boolean masking
- A New Algorithm for Switching from Arithmetic to Boolean Masking Jean-Sébastien Coron and Alexei
- Cited by 7 (0 self) – Add To MetaCart

