首页    期刊浏览 2024年09月21日 星期六
登录注册

文章基本信息

  • 标题:Weak Inclusion Systems: Part Two
  • 本地全文:下载
  • 作者:Virgil Emil Cazanescu (Fundamentals of Computer Science ; Faculty of Mathematics ; University of Bucharest
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:2000
  • 卷号:6
  • 期号:1
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:New properties and implications of inclusion systems are investigated in the present paper. Many properties of lattices, factorization systems and special practical cases can be abstracted and adapted to our framework, making the various versions of inclusion systems useful tools for computer scientists and mathematicians.
  • 关键词:category theory, logic
国家哲学社会科学文献中心版权所有