位置:成果数据库 > 期刊 > 期刊详情页
Representations of Algebraic Domains and Algebraic L-domains by Information Systems
  • ISSN号:1571-0661
  • 期刊名称:Electronic Notes in Theoretical Computer Science
  • 时间:2014.2.18
  • 页码:117-129
  • 相关项目:描述逻辑及其扩展中的相容性问题和推理算法研究
同期刊论文项目
同项目期刊论文