Proving Unrealizability for Syntax-Guided Synthesis

机译：证明了语法引导综合的不良性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Qinheping Hu; Jason Breck; John Cyphert; Loris D’Antoni; Thomas Reps;
展开▼
作者单位

展开▼
年度 2019
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Structure Validation of Complex Natural Products: Time to Change the Paradigm. What did Synthesis of Alstofolinine A Prove? [J] . Kutateladze Andrei G., Holt Tina The Journal of Organic Chemistry . 2019,第12期

机译：复杂天然产品的结构验证：时间改变范式。合成阿尔斯托诺啉嗪的证明是什么？
2. Synthesis of list algorithms by mechanical proving [J] . Jacques Carette Computing reviews . 2016,第4期

机译：机械证明综合列表算法
3. Sunfleck limits the small-scale distribution of endangered Kingdonia uniflora in the natural habitat of subalpine forest proved by its photosynthesis [J] . Zhang Chen-Guang, Liu Xiao, Fan Yi-Lei, Acta Physiologiae Plantarum . 2016,第4期

机译：通过其光合作用，Sunfleck限制了亚高山森林自然栖息地中濒临灭绝的Kingdonia uniflora的小规模分布
4. Proving Unrealizability for Syntax-Guided Synthesis [C] . Qinheping Hu, Jason Breck, John Cyphert, International conference on computer aided verification . 2019

机译：证明语法指导综合的不可实现性
5. Theorem-proving guided development of formal assertions and their embedding in a high-level VLSI synthesis system. [D] . Narendra, Narasimhan. 1998

机译：证明定理的方法指导形式断言的开发以及将其嵌入高级VLSI综合系统中。
6. Synthesis of ZnO-NPs Using a Convolvulus arvensis Leaf Extract and Proving Its Efficiency as an Inhibitor of Carbon Steel Corrosion [O] . Ghadah M. Al-Senani 2020

机译：空心菜叶提取物合成ZnO-NPs的性能证明其对碳钢腐蚀的抑制作用
7. Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems [O] . Qinheping Hu, John Cyphert, Loris DAntoni, 2020

机译：用于证明语法引导综合问题不良性的精确和近似方法

Proving Unrealizability for Syntax-Guided Synthesis

著录项

引文网络

相似文献

相关主题

期刊订阅