Bruno Dinis

15 papers B 1Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Algebraic Approach to Weighted Answer-set Programming.
CoRR
Francisco Coelho, Bruno Dinis, Dietmar Seipel, Salvador Abreu
2025 — conf
Elements for Weighted Answer-Set Programming.
SLATE
Francisco Coelho, Bruno Dinis, Dietmar Seipel, Salvador Abreu
2025 J jnl
On definable Skolem functions and trichotomy.
Ann. Pure Appl. Log.
Bruno Dinis, Mário J. Edmundo
2024 J jnl
Towards an enumeration of finite common meadows.
Int. J. Algebra Comput.
João Dias, Bruno Dinis
2023 J jnl
Stateful Realizers for Nonstandard Analysis.
Log. Methods Comput. Sci.
Bruno Dinis, Étienne Miquey
2023 J jnl
Strong Convergence for the Alternating Halpern-Mann Iteration in CAT(0) Spaces.
SIAM J. Optim.
Bruno Dinis, Pedro Pinto
2022 J jnl
Stateful Realizers for Nonstandard Analysis.
CoRR
Bruno Dinis, Étienne Miquey
2021 J jnl
A parametrised functional interpretation of Heyting arithmetic.
Ann. Pure Appl. Log.
Bruno Dinis, Paulo Oliva
2021 J jnl
Fundamental group in o-minimal structures with definable Skolem functions.
Ann. Pure Appl. Log.
Bruno Dinis, Mário J. Edmundo, Marcello Mamino
2021 J jnl
On the convergence of algorithms with Tikhonov regularization terms.
Optim. Lett.
Bruno Dinis, Pedro Pinto
2021 B conf
Realizability with Stateful Computations for Nonstandard Analysis.
CSL
Bruno Dinis, Étienne Miquey
2018 J jnl
Intuitionistic nonstandard bounded modified realisability and functional interpretation.
Ann. Pure Appl. Log.
Bruno Dinis, Jaime Gaspar
2017 J jnl
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.
Math. Log. Q.
Bruno Dinis, Fernando Ferreira
2016 J jnl
Instantiation overflow.
Reports Math. Log.
Bruno Dinis, Gilda Ferreira
2011 J jnl
Algebraic properties of external numbers.
J. Log. Anal.
Bruno Dinis, Imme Pieter van den Berg