About Folding-Unfolding Cuts and Cuts Modulo

机译：关于折叠展开的切口和切口模数

代理获取

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

页面导航

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

摘要

We show in this note that cut elimination in deduction modulo subsumes cut elimination in deduction with the folding and unfolding rules.

机译：我们在此注释中显示，扣减的模消除包含折叠与展开规则的扣消除。

著录项

作者
Dowek Gilles;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. About Folding-Unfolding Cuts and Cuts Modulo [J] . GILLES DOWEK Journal of logic and computation . 2001,第3期

机译：关于折叠展开的切口和切口模数
2. Regaining cut admissibility in deduction modulo using abstract completion [J] . Guillaume Burel, Claude Kirchner Information and computation . 2010,第2期

机译：使用抽象补全重新计算演绎模中的割入率
3. Effects of electrolyzed water treatment on pre-cut green onion at pre-cut vegetables processing plant and its influences to quality of pre-cut green onion (enhancement of sterilization effect on pre-cut vegetable using electrolyzed water part II). [J] . Yoshida K, Achiwa N, Katayose M, 日本食品科学工学会誌 . 2005,第6期

机译：电解水处理对预切蔬菜加工厂的预切葱的影响及其对预切葱的质量的影响（增强对使用电解水的预切蔬菜的杀菌效果）。
4. Cut Elimination in Deduction Modulo by Abstract Completion [C] . Guillaume Burel, Claude Kirchner International Symposium on Logical Foundations of Computer Science(LFCS 2007); 20070604-07; New York,NY(US) . 2007

机译：通过抽象补全来减少演绎模中的消除
5. To Cut or Not to Cut: The Association Between Weight Loss and Cardiometabolic Health in Adolescents and Adults After Roux-En-Y Gastric Bypass [D] . Brissman, Markus. 2021

机译：切割或不切割：在Roux-Zh-Y胃旁路后青少年和成人体重减轻和心肌截止的关联
6. Cut cut cut [O] . Dougal Jeffries 2010

机译：切切切
7. About folding-unfolding cuts and cuts modulo [O] . Gilles Dowek 2000

机译：关于折叠展开的切口和模切的切口

About Folding-Unfolding Cuts and Cuts Modulo

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅