No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
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
Some dual logic without tautologiesSome dual logic without tautologies
Valuation graphs for propositional logicValuation graphs for propositional logic
A Boolean encoding of arithmetic operationsA Boolean encoding of arithmetic operations
SAT-based searching for k-quasi-optimal runs in weighted timed automataSAT-based searching for k-quasi-optimal runs in weighted timed automata
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
Modular number systems in the complex planeModular number systems in the complex plane
On some specification languages of cryptographic protocolsOn some specification languages of cryptographic protocols
Processor sharing queueing systems with non-homogeneous customersProcessor sharing queueing systems with non-homogeneous customers
Riemann integrability and quasi-uniform convergenceRiemann integrability and quasi-uniform convergence
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
A characterization of homographic type functionA characterization of homographic type function
A note on SI-spaces and MI-spacesA note on SI-spaces and MI-spaces
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
On some generalizations of Gołąb-Schinzel functional equationOn some generalizations of Gołąb-Schinzel functional equation