53 citations · 77 across the 27 of their papers we have counts for
4 papers · 1 filter
Quantitative results on a generalized viscosity approximation method
Paulo Firmino, Laurentiu Leustean
In this paper, we study, in a nonlinear setting, the asymptotic behaviour of a generalized viscosity approximation method associated with a countable family of nonexpansive mapping…
Matching logic -- a new axiomatization
Laurenţiu Leuştean, Dafina Trufaş
In these notes we propose a new, simpler proof system for first-order matching logic with application and definedness. The new proof system is inspired by Tarski's axiomatization f…
Notes on applicative matching logic
Laurenţiu Leuştean
Matching logic (ML) was developed by Grigore Roşu and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the…
Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration
Paulo Firmino, Laurentiu Leustean
In this paper we use proof mining methods to compute rates of (-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration associated to a nonexpansive mapping…