In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...
: Development of e-services in the CE (Central European) countries depends on a number of factors which can result in overcoming or extending digital divide between the "new&q...
This paper is about ...nancial contracting choices for the entrepreneur. In an incomplete contracts model, the entrepreneur can design contracts contingent on three possible contr...
We present a new efficient approach for solving the multicommodity flow problem as a sequence of subproblems, each on a very sparse but connected network. We show that each subpro...