REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:

Rozpocznij nowe wyszukiwanie
Dodaj filtr:

Uzyj filtrów aby zagęścić wyszukiwanie.


Rezultaty 1-10 z 11 (Czas wyszukiwania: 0.005 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2018Kleene Algebra of Partial PredicatesKorniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola--
2018Sequences of Prime Reciprocals. PreliminariesGrabowski, Adam--
2018Diophantine sets. PreliminariesPąk, Karol--
2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018Formalizing Two Generalized Approximation OperatorsGrabowski, Adam; Sielwiesiuk, Michał--
2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018Partial Correctness of GCD AlgorithmIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On Two Alternative Axiomatizations of Lattices by McKenzie and SholanderGrabowski, Adam; Sawicki, Damian--
2018Basic Diophantine RelationsAcewicz, Marcin; Pąk, Karol--
2018An Inference System of an Extension of Floyd-Hoare Logic for Partial PredicatesIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--