|
|
/
Browsing by Author Dinis, Bruno
Showing results 1 to 15 of 15
| Issue Date | Title | Author(s) | | 2011 | Algebraic properties of external numbers | Dinis, Bruno; van den Berg, Imme |
| Mar-2024 | Assemblies as Semigroups | Dardano, Ulderico; Dinis, Bruno; Terzo, Giuseppina |
| Dec-2017 | Axiomatics for the externa lnumbers of nonstandardanalysis | Dinis, Bruno; van den Berg, Imme |
| Apr-2018 | Characterization of distributivity in a solid | Dinis, Bruno; van den Berg, Imme |
| Nov-2022 | Convergence: what’s logic got to do with it? | Dinis, Bruno |
| 1-Feb-2024 | Effective Metastability for a Method of Alternating Resolvents | Dinis, Bruno; Pinto, Pedro |
| 2022 | Equality and near-equality in a nonstandard world | Dinis, Bruno |
| 2022 | Functional interpretations and applications | Dinis, Bruno |
| 2023 | Hardwiring truth in functional interpretations | Dinis, Bruno; Gaspar, Jaime |
| 2019 | Neutrices and External Numbers A Flexible Number System | Dinis, Bruno; Berg, Imme van den |
| 20-Nov-2022 | On the nature of natural numbers | Dinis, Bruno |
| 2017 | On the quotient class of non-archimedean fields | Dinis, Bruno; van den Berg, Imme |
| Apr-2023 | Stateful Realizers for Nonstandard Analysis | Dinis, Bruno; Miquey, Étienne |
| 2023 | Strong convergence for the alternating Halpern-Mann iteration in CATp0q spaces | Dinis, Bruno; Pinto, Pedro |
| 2022 | The Halpern-Mann iteration in CAT(0) spaces. | Dinis, Bruno |
Showing results 1 to 15 of 15
|
