Small Proofs from Congruence Closure
Small Proofs from Congruence Closure
复制标题
同余闭包的小证明
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Pavel Panchekha
中科院分区：
文献类型：
--
作者：
Oliver Flatt;Samuel Coward;Max Willsey;Zachary Tatlock;Pavel Panchekha
登录
查看更多内容
影响因子：
--
作者：
Chandrakana Nandi;Max Willsey;Amy Zhu;Y. Wang;Brett Saiki;Adam Anderson;Adriana Schulz;D. Grossman;Zach Tatlock
通讯作者：
Chandrakana Nandi;Max Willsey;Amy Zhu;Y. Wang;Brett Saiki;Adam Anderson;Adriana Schulz;D. Grossman;Zach Tatlock
平等饱和：一种新的优化方法
DOI：
--
发表时间：
2009
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
R. Tate;M. Stepp;Zachary Tatlock;Sorin Lerner
通讯作者：
Sorin Lerner
DOI：
10.1007/s10817-018-9458-4
发表时间：
2018
期刊：
Journal of automated reasoning
影响因子：
--
作者：
Czajka Ł;Kaliszyk C
通讯作者：
Kaliszyk C
证明产生的同余闭包
DOI：
--
发表时间：
2005
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
R. Nieuwenhuis;Albert Oliveras
通讯作者：
Albert Oliveras
Egg：快速且可扩展的平等饱和
影响因子：
--
作者：
Willsey, Max;Nandi, Chandrakana;Wang, Yisu Remy;Flatt, Oliver;Tatlock, Zachary;Panchekha, Pavel
通讯作者：
Panchekha, Pavel