10 Articoli
Accesso libero | 24 dic 2018
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
, e
Accesso libero | 24 dic 2018
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
, e
Accesso libero | 24 dic 2018
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
e
Cerca
Tutti i volumi ed i numeri in questa rivista
Volume 31 (2023)