BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for bmdinis
(26)
2024
Strolling through common meadows
(2024)
João Dias
Bruno Dinis
Journal articles
2024
Towards an enumeration of finite common meadows
(2024)
Joao Dias
Bruno Dinis
Journal articles
2024
Assemblies as semigroups
(2024)
Ulderico Dardano
Bruno Dinis
Giuseppina Terzo
Journal articles
2024
Effective metastability for a method of alternating resolvents
(2024)
Bruno Dinis
Pedro Pinto
Journal articles
2023
A Theory of Marginal and Large Difference
(2023)
Bruno Dinis
Bruno Jacinto
Journal articles
2023
Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces
(2023)
Bruno Dinis
Pedro Pinto
Journal articles
2023
Stateful Realizers for Nonstandard Analysis
(2023)
Bruno Dinis
Étienne Miquey
Journal articles
2023
Hardwiring truth in functional interpretations
(2023)
Bruno Dinis
Jaime Gaspar
Journal articles
2022
Equality and Near-Equality in a Nonstandard World
(2022)
Bruno Dinis
Journal articles
2021
A Parametrised Functional Interpretation of Affine Logic
(2021)
Bruno Dinis
Paulo Oliva
Conference papers
2021
A parametrised functional interpretation of Heyting arithmetic
(2021)
Bruno Dinis
Paulo Oliva
Journal articles
2021
Fundamental group in o-minimal structures with definable Skolem functions
(2021)
Bruno Dinis
Mário J. Edmundo
Marcello Mamino
Journal articles
2021
Realizability with Stateful Computations for Nonstandard Analysis
(2021)
Bruno Dinis
Étienne Miquey
Conference papers
2021
A nonstandard view on vagueness
(2021)
Bruno Dinis
Bruno Jacinto
Conference papers
2021
Quantitative results on the multi-parameters Proximal Point Algorithm
(2021)
Bruno Dinis
Pedro Pinto
Journal articles
2020
Metastability of the proximal point algorithm with multi-parameters
(2020)
Bruno Dinis
Pedro Pinto
Journal articles
2020
On the convergence of algorithms with Tikhonov regularization terms
(2020)
Bruno Dinis
Pedro Pinto
Journal articles
2019
Neutrices and External Numbers
(2019)
Bruno Dinis
Imme van den Berg
Books
2019
On Flexible Sequences
(2019)
Bruno Dinis
Nam Van Tran
Imme van den Berg
Journal articles
2018
Intuitionistic nonstandard bounded modified realisability and functional interpretation
(2018)
Bruno Dinis
Jaime Gaspar
Journal articles
2018
Characterization of distributivity in a solid
(2018)
Bruno Dinis
Imme van den Berg
Journal articles
2017
On the quotient class of non-archimedean fields
(2017)
Bruno Dinis
Imme van den Berg
Journal articles
2017
Interpreting weak König's lemma in theories of nonstandard arithmetic
(2017)
Bruno Dinis
Fernando Ferreira
Journal articles
2017
Axiomatics for the external numbers of nonstandard analysis
(2017)
Bruno Dinis
Imme Van den Berg
Journal articles
2016
Instantiation overflow
(2016)
Bruno Dinis
Gilda Ferreira
Journal articles
2011
Algebraic properties of external numbers
(2011)
Bruno Dinis
Imme van den Berg
Journal articles