|
|
/
Browsing by Author Dinis, Bruno
Showing results 1 to 20 of 23
| 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 |
| 2025 | Counterparts as Near-Equals | Dinis, Bruno; Jacinto, Bruno |
| 1-Feb-2024 | Effective Metastability for a Method of Alternating Resolvents | Dinis, Bruno; Pinto, Pedro |
| 2025 | Elements for Weighted Answer-Set Programming | Dinis, Bruno; Coelho, Francisco; Abreu, Salvador; Seipel, Dietmar |
| 2022 | Equality and near-equality in a nonstandard world | Dinis, Bruno |
| 2025 | Flasque meadows | Dinis, Bruno; Dias, Joao |
| 2024 | Flexible Involutive Meadows | Dinis, Bruno; Bottazzi, Emanuele |
| 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 |
| 2025 | On definable Skolem functions and trichotomy | Dinis, Bruno; Edmundo, Mario |
| 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 |
| 2024 | Strolling through common meadows | Dinis, Bruno; Dias, João |
| 2023 | Strong convergence for the alternating Halpern-Mann iteration in CATp0q spaces | Dinis, Bruno; Pinto, Pedro |
Showing results 1 to 20 of 23
|
