1.

Formalization of the Sentential Logic Dual to Łukasiewicz's Three-valued LogicFormalization of the Sentential Logic Dual to Łukasiewicz's Three-valued Logic Find similar objects  |  Add to bibliography

2.

Some dual logic without tautologiesSome dual logic without tautologies Find similar objects  |  Add to bibliography

3.

Valuation graphs for propositional logicValuation graphs for propositional logic Find similar objects  |  Add to bibliography

4.

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

5.

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

6.

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

7.

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

8.

A Boolean encoding of arithmetic operationsA Boolean encoding of arithmetic operations Find similar objects  |  Add to bibliography

9.

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

10.

Processor sharing queueing systems with non-homogeneous customersProcessor sharing queueing systems with non-homogeneous customers Find similar objects  |  Add to bibliography

11.

Modular number systems in the complex planeModular number systems in the complex plane Find similar objects  |  Add to bibliography

12.

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

13.

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

14.

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

15.

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