10 Artykułów
Otwarty dostęp | 24 gru 2018
On Algebras of Algorithms and Specifications over Uninterpreted Data
, oraz
Otwarty dostęp | 24 gru 2018
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
, oraz
Otwarty dostęp | 24 gru 2018
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
, oraz
Otwarty dostęp | 24 gru 2018
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
oraz
Wyszukiwanie
Wszystkie tomy i zeszyty w tym czasopiśmie
Tom 32 (2024)
Tom 31 (2023)