Remarks on Ideal Completion of *-continuous Idempotent Left Semirings

Remarks on Ideal Completion of *-continuous Idempotent Left Semirings
复制标题

关于*-连续幂等左半环的理想完备性的评述

DOI:
--
复制
发表时间:
--
期刊:
Bulletin of Informatics and Cybernetics
影响因子:
--
通讯作者:
N.Tsumagari
N.Tsumagari
中科院分区:
--
文献类型:
--
作者:
H.Furusawa;F.Sanda;N.Tsumagari

文献摘要

参考文献

相似文献

单一树克林代数
DOI: 10.1007/11828563_27
发表时间: 2006
期刊: --
影响因子: --
作者:
Toshinori Takai;H. Furusawa
通讯作者: H. Furusawa
Lazy Kleene 代数的多关系模型
DOI: --
发表时间: 2008
期刊: Proceedings of Relations and Kleene Algebra in Computer Science
影响因子: --
作者:
Norihiro Tsumagari;Koki Nishizawa;Hitoshi Furusawa
通讯作者: Hitoshi Furusawa
为概率分布式系统提供自动证明支持
DOI: --
发表时间: 2005
期刊: Logic Programming and Automated Reasoning
影响因子: --
作者:
Annabelle McIver;Tjark Weber
通讯作者: Tjark Weber
惰性克莱恩代数
DOI: --
发表时间: 2004
期刊: International Conference on Mathematics of Program Construction
影响因子: --
作者:
B. Möller
通讯作者: B. Möller