Modular and incremental proofs of AC-termination

机译：交流端接的模块化和增量式证明

代理获取

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

页面导航

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

著录项

作者
Marché Claude; Urbain Xavier;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modular and incremental proofs of AC-termination [J] . Claude Marche, Xavier Urbain urnal of Symbolic Computation . 2004,第1期

机译：交流端接的模块化和增量式证明
2. Modular and Incremental Automated Termination Proofs [J] . XAVIER URBAIN Journal of Automated Reasoning . 2004,第4期

机译：模块化和增量式自动终止证明
3. MOS based pseudo-resistors exhibiting Tera Ohms of Incremental Resistance for biomedical applications: Analysis and proof of concept [J] . Sharma Kulbhushan, Pathania Anisha, Pandey Rahul, Integration . 2021,第Jana期

机译：基于MOS的伪电阻，表现出用于生物医学应用的增量电阻的TERA欧姆：概念分析和证明
4. From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic [C] . Dale Miller, Alexis Saurin International Workshop on Computer Science Logic(CSL 2007); 20070911-15; Lausanne(CH) . 2007

机译：从证明到集中证明：线性逻辑中的模块化模块化证明
5. Concurrent Permission Machine for Modular Proofs of Optimizing Compilers with Shared Memory Concurrency [D] . Cuellar, Santiago. 2020

机译：用于使用共享内存并发的编译器的模块化证明并发许可机
6. General Prediction of Peptide-MHC Binding Modes Using Incremental Docking: A Proof of Concept [O] . Dinler A. Antunes, Didier Devaurs, Mark Moll, -1

机译：使用增量对接的肽-MHC结合模式的一般预测：概念证明。
7. From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic [O] . Saurin Alexis, Miller Dale 2007

机译：从证明到集中证明：线性逻辑中的模块化模块化证明

Modular and incremental proofs of AC-termination

著录项

引文网络

相似文献

相关主题

期刊订阅