Keyword:axiom system

Publications
Algebraic Backgrounds for Data Structures Models Volodymyr G. Skobelev EasyChair Preprint 1702