机译:分类结构规范的基础
Consejo Nacl Invest Cient & Tecn, RA-1033 Buenos Aires, DF, Argentina|Univ Nacl Rio Cuarto, FCEFQyN, Dept Comp, RA-5800 Cordoba, Argentina;
Consejo Nacl Invest Cient & Tecn, RA-1033 Buenos Aires, DF, Argentina|Univ Nacl Rio Cuarto, FCEFQyN, Dept Comp, RA-5800 Cordoba, Argentina;
Consejo Nacl Invest Cient & Tecn, RA-1033 Buenos Aires, DF, Argentina|Univ Buenos Aires, FCEyN, Dept Comp, Buenos Aires, DF, Argentina;
McMaster Univ, Dept Comp & Software, Hamilton, ON, Canada;
Z Notation; System specification; System verification; Category theory; Heterogeneous specifications;
机译:单价基础中类型理论的分类结构
机译:单价基础中类型理论的分类结构
机译:结构化可逆流程图语言的分类基础:稳健性和充分性
机译:构造和提升Z规格的分类方法
机译:伪极限,双伴随和伪代数:共形场论的分类基础。
机译:药物基因组学关联的体系结构:具有功能性基础的结构或由沙子制成的城堡?
机译:量子逻辑的分类基础及其真值 结构
机译:新的信息数学:信息和计算的同伦和更高分类基础。