Add to ORKGAmong closure operators in the sense of Dikranjan and Giuli [5] the regular ones have a relevant role and have been widely investigated. On the contrary, the coregular closure operators were introduced only recently in [3] and they need to be further investigated. In this paper we study co regular closure operators, in connection connectednesses and disconnectednesses, in the realm of topological spaces and modules
AbstractLast works in linear logic mark a trend that can be summarized as: studying of fragments of ...
We consider operators of convolution generated by $L^1$ functions in $L^p$ and various spaces of alm...
AbstractWe present an algorithm, based on Falconer's results in [4,6], to effectively estimate the H...
AbstractThis paper continues the study of the general theory, begun in [4], of semantic domains base...
AbstractLet Q be a Girard quantale. In other words Q is a complete lattice which also has the struct...
AbstractAn extension of Hennessy-Milner logic to value-passing CCS is embedded in the HOL system. Th...
We study the law of functionals whose prototype is integral(0)(+infinity) e(s)(B(V)) dW(s)((mu),) wh...
AbstractConcurrent object-oriented languages provide a suitable target for a compositional design pr...
We discuss recent work of several authors on the Kakeya needle problem and other related problems in...
Endomorphisms of stable planes are introduced, and it is shown that these are injective, locally con...
AbstractIn this survey paper we start with a discussion how functionals of finite type can be used f...
We consider families of analytic area-preserving maps depending on two pa- rameters: the perturbati...
AbstractThe Smyth completion ([15], [16], [18] and [19]) provides a topological foundation for Denot...
AbstractBy proving the correspondence between the usual double-pushout approach and Banach's inward ...
AbstractWe consider the notion of replete object in the category of directed complete partial orders...
AbstractLast works in linear logic mark a trend that can be summarized as: studying of fragments of ...
We consider operators of convolution generated by $L^1$ functions in $L^p$ and various spaces of alm...
AbstractWe present an algorithm, based on Falconer's results in [4,6], to effectively estimate the H...
AbstractThis paper continues the study of the general theory, begun in [4], of semantic domains base...
AbstractLet Q be a Girard quantale. In other words Q is a complete lattice which also has the struct...
AbstractAn extension of Hennessy-Milner logic to value-passing CCS is embedded in the HOL system. Th...
We study the law of functionals whose prototype is integral(0)(+infinity) e(s)(B(V)) dW(s)((mu),) wh...
AbstractConcurrent object-oriented languages provide a suitable target for a compositional design pr...
We discuss recent work of several authors on the Kakeya needle problem and other related problems in...
Endomorphisms of stable planes are introduced, and it is shown that these are injective, locally con...
AbstractIn this survey paper we start with a discussion how functionals of finite type can be used f...
We consider families of analytic area-preserving maps depending on two pa- rameters: the perturbati...
AbstractThe Smyth completion ([15], [16], [18] and [19]) provides a topological foundation for Denot...
AbstractBy proving the correspondence between the usual double-pushout approach and Banach's inward ...
AbstractWe consider the notion of replete object in the category of directed complete partial orders...
AbstractLast works in linear logic mark a trend that can be summarized as: studying of fragments of ...
We consider operators of convolution generated by $L^1$ functions in $L^p$ and various spaces of alm...
AbstractWe present an algorithm, based on Falconer's results in [4,6], to effectively estimate the H...