Stateful Realizers for Nonstandard Analysis von Dinis, Bruno, Miquey, Étienne

Volltext

Assemblies as semigroups von Dardano, Ulderico, Dinis, Bruno, Terzo, Giuseppina

Volltext

Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces von Dinis, Bruno, Pinto, Pedro

Volltext

Instantiation overflow von Dinis, Bruno, Ferreira, Gilda

Volltext

On the convergence of algorithms with Tikhonov regularization terms von Dinis, Bruno, Pinto, Pedro

Volltext

A parametrised functional interpretation of Heyting arithmetic von Dinis, Bruno, Oliva, Paulo

Volltext

Hardwiring truth in functional interpretations von Dinis, Bruno, Gaspar, Jaime

Volltext

Intuitionistic nonstandard bounded modified realisability and functional interpretation von Dinis, Bruno, Gaspar, Jaime

Volltext

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic von Dinis, Bruno, Ferreira, Fernando

Volltext

Interpreting weak Knig's lemma in theories of nonstandard arithmetic von Dinis, Bruno, Ferreira, Fernando

Volltext

Fundamental group in o-minimal structures with definable Skolem functions von Dinis, Bruno, Edmundo, Mário J., Mamino, Marcello

Volltext

On the quotient class of non-archimedean fields von Dinis, Bruno, van den Berg, Imme

Volltext

Metastability of the proximal point algorithm with multi-parameters von Dinis, Bruno, Pinto, Pedro

Volltext

Characterization of distributivity in a solid von Dinis, Bruno, van den Berg, Imme

Volltext

Axiomatics for the external numbers of nonstandard analysis von Dinis, Bruno, Van den Berg, Imme

Volltext

Flasque Meadows von Dias, João, Dinis, Bruno

Volltext bestellen

Artinian Meadows von Dias, João, Dinis, Bruno

Volltext bestellen

Towards an Enumeration of Finite Common Meadows von Dias, João, Dinis, Bruno

Volltext bestellen

Strolling through common meadows von Dias, João, Dinis, Bruno

Volltext bestellen

On Flexible Sequences von Dinis, Bruno, Van Tran, Nam, Berg, Imme van den

Volltext