10 Articles
Open Access | Dec 24, 2018
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
, and
Open Access | Dec 24, 2018
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
, and
Open Access | Dec 24, 2018
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
and
Search
All Volumes and Issues in this Journal
Volume 31 (2023)