The proof examination of Alternating Phase Focusing
The proof examination of Alternating Phase Focusing
复制标题
交替相位聚焦的验证检验
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Y.Takahashi
中科院分区：
文献类型：
--
作者：
K.Yamamoto;T.Hattori;N.Hayashizaki;T.Hata;H.Kashiwagi;Y.Takahashi
登录
查看更多内容
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
Vijay Saraswat Xerox
通讯作者：
Vijay Saraswat Xerox
深度推理中的非确定性和语言设计：逻辑编程的证明理论方法
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Ozan Kahramanoğulları
通讯作者：
Ozan Kahramanoğulları
DOI：
10.1109/lics.1998.705651
发表时间：
1998
期刊：
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
影响因子：
--
作者：
F. Fages;P. Ruet;S. Soliman
通讯作者：
S. Soliman
自然扣除
DOI：
10.1007/978-0-230-00605-8_4
发表时间：
2021
期刊：
An Introduction to Proof Theory
影响因子：
--
作者：
P. Mancosu;S. Galvan;R. Zach
通讯作者：
R. Zach
绑定、绑定的移动性和“一般判断”——量词：摘要
DOI：
10.1007/978-3-540-30124-0_4
发表时间：
2004
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
D. Miller
通讯作者：
D. Miller