Searching for authors named Paulo Oliva – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
On the Computational Complexity of Best ...-Approximation
- …On the computational complexity of best L 1 -approximation Paulo Oliva Preprint, Sept 2001 BRICS…
- Add To MetaCart
-
Unifying functional interpretations
- …Unifying Functional Interpretations Paulo Oliva (Draft, 9 March 2005) Department of Computer…
- Cited by 2 (0 self) – Add To MetaCart
-
Proof mining in L 1 -approximation
- …Proof mining in L 1 -approximation Ulrich Kohlenbach a,1 , Paulo Oliva a,1 a Department…
- Add To MetaCart
-
Proof Mining in Subsystems of Analysis
- … of Aarhus Denmark Paulo Oliva Proof Mining in Subsystems of Analysis A Dissertation Presented to the Faculty…
- Add To MetaCart
-
Modified Bar Recursion and Classical Dependent Choice
- …MODIFIED BAR RECURSION AND CLASSICAL DEPENDENT CHOICE ULRICH BERGER AND PAULO OLIVA Abstract. We…
- Cited by 13 (8 self) – Add To MetaCart
-
Behavioral Causes of Demand Amplification in Supply Chains: ’Satisficing’ Policies with Limited Information Cues
- … Information Cues Rogelio Oliva Mays Business School Texas A&M University Wehner 301F – 4217 TAMU College…
- Cited by 1 (0 self) – Add To MetaCart
-
Effective bounds on strong unicity in L_1-approximation
- …E#ective bounds on strong unicity in L 1 -approximation Ulrich Kohlenbach Paulo Oliva May, 2001…
- Add To MetaCart
-
Proof Mining in L_1-approximation (Extended Abstract)
- …Proof Mining in L 1 -approximation Ulrich Kohlenbach Paulo Oliva BRICS # Department of Computer…
- Add To MetaCart
-
BMC Structural Biology BioMed Central
- … hypoxanthine-guanine phosphoribosyltransferase Paulo S Monzani1 , Stefano Trapani2 , Otavio H Thiemann1…
- Add To MetaCart
-
Proof Mining in
- …Proof mining in L 1 -approximation Ulrich Kohlenbach Paulo Oliva July, 2001 BRICS # Department…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
