Repositorio Digital de Publicacoes Cientificas da Universidade de Evora /

Browsing by Author Dinis, Bruno

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 15 of 15
Issue DateTitleAuthor(s)
2011Algebraic properties of external numbersDinis, Bruno; van den Berg, Imme
Mar-2024Assemblies as SemigroupsDardano, Ulderico; Dinis, Bruno; Terzo, Giuseppina
Dec-2017Axiomatics for the externa lnumbers of nonstandardanalysisDinis, Bruno; van den Berg, Imme
Apr-2018Characterization of distributivity in a solidDinis, Bruno; van den Berg, Imme
Nov-2022Convergence: what’s logic got to do with it?Dinis, Bruno
1-Feb-2024Effective Metastability for a Method of Alternating ResolventsDinis, Bruno; Pinto, Pedro
2022Equality and near-equality in a nonstandard worldDinis, Bruno
2022Functional interpretations and applicationsDinis, Bruno
2023Hardwiring truth in functional interpretationsDinis, Bruno; Gaspar, Jaime
2019Neutrices and External Numbers A Flexible Number SystemDinis, Bruno; Berg, Imme van den
20-Nov-2022On the nature of natural numbersDinis, Bruno
2017On the quotient class of non-archimedean fieldsDinis, Bruno; van den Berg, Imme
Apr-2023Stateful Realizers for Nonstandard AnalysisDinis, Bruno; Miquey, Étienne
2023Strong convergence for the alternating Halpern-Mann iteration in CATp0q spacesDinis, Bruno; Pinto, Pedro
2022The Halpern-Mann iteration in CAT(0) spaces.Dinis, Bruno
Showing results 1 to 15 of 15

 

Dspace Dspace
DSpace Software, version 1.6.2 Copyright © 2002-2008 MIT and Hewlett-Packard - Feedback
UEvora B-On Curriculum DeGois