1.

SAT-based searching for k-quasi-optimal runs in weighted timed automataSAT-based searching for k-quasi-optimal runs in weighted timed automata Find similar objects  |  Add to bibliography

2.

The bounded local operators in the Banach space of Holder functionsThe bounded local operators in the Banach space of Holder functions Find similar objects  |  Add to bibliography

3.

On some generalizations of Gołąb-Schinzel functional equationOn some generalizations of Gołąb-Schinzel functional equation Find similar objects  |  Add to bibliography

4.

Axisymmetric solutions to the Cauchy problem for time-fractional diffusion equation in a circleAxisymmetric solutions to the Cauchy problem for time-fractional diffusion equation in a circle Find similar objects  |  Add to bibliography

5.

A note on SI-spaces and MI-spacesA note on SI-spaces and MI-spaces Find similar objects  |  Add to bibliography

6.

On connected functions in ordered spacesOn connected functions in ordered spaces Find similar objects  |  Add to bibliography

7.

Some counting formulas for finite distributive latticesSome counting formulas for finite distributive lattices Find similar objects  |  Add to bibliography

8.

[...]-density topology[...]-density topology Find similar objects  |  Add to bibliography

9.

Endomorphism monoid of diamond product of two common complete bipartite graphsEndomorphism monoid of diamond product of two common complete bipartite graphs Find similar objects  |  Add to bibliography

10.

A characterization of homographic type functionA characterization of homographic type function Find similar objects  |  Add to bibliography

11.

Indecomposable projective representations of direct products of finite groups over a ring of formal power seriesIndecomposable projective representations of direct products of finite groups over a ring of formal power series Find similar objects  |  Add to bibliography

12.

The logic dual to Sobociński's n-valued logicThe logic dual to Sobociński's n-valued logic Find similar objects  |  Add to bibliography

13.

Riemann integrability and quasi-uniform convergenceRiemann integrability and quasi-uniform convergence Find similar objects  |  Add to bibliography

14.

An influence of service discipline on characteristics of a single-server queue with non-homogeneous customersAn influence of service discipline on characteristics of a single-server queue with non-homogeneous customers Find similar objects  |  Add to bibliography

15.

On some specification languages of cryptographic protocolsOn some specification languages of cryptographic protocols Find similar objects  |  Add to bibliography