Axiomatizing Propositional Dependence Logics

Axiomatizing Propositional Dependence Logics
复制标题

命题依赖逻辑公理化

DOI：
10.4230/lipics.csl.2015.292
复制
发表时间：
2015
期刊：
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Stephan Kreutzer editor, Leibniz International Proceedings in Informatics (LIPIcs)
影响因子：
--
通讯作者：
Katsuhiko Sano and Jonni Virtema
Katsuhiko Sano and Jonni Virtema
中科院分区：
--
文献类型：
--
作者：
Pimolluck Jirakunkanok;Katsuhiko Sano and Satoshi Tojo;Katsuhiko Sano and Jonni Virtema

文献摘要

相似文献