10 Artikel
Uneingeschränkter Zugang | 24. Dez. 2018
On Algebras of Algorithms and Specifications over Uninterpreted Data
, und
Uneingeschränkter Zugang | 24. Dez. 2018
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
, und
Uneingeschränkter Zugang | 24. Dez. 2018
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
, und
Uneingeschränkter Zugang | 24. Dez. 2018
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
und
Suche
Alle Bände und Hefte dieser Zeitschrift
Band 31 (2023)