关系提升,并应用于多值覆盖形式
摘要
出版物: -
arXiv电子打印 发布日期: 2013年7月 内政部: -
10.48550/arXiv.1307.4682 arXiv: -
arXiv:1307.4682 书目代码: -
2013年10月11日307.4682B 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: 48页,可在LMCS上发布