首页> 外文OA文献 >On embedding of classical substructural logics(Theory of Rewriting Systems and Its Applications)

【2h】

On embedding of classical substructural logics(Theory of Rewriting Systems and Its Applications)

机译：关于经典子结构逻辑的嵌入（重写系统理论及其应用）

代理获取

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

页面导航

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

著录项

作者
Fujita Ken-etsu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A substructural epistemic resource logic: theory and modelling applications [J] . Journal of logic and computation . 2019,第8期

机译：亚结构的认知资源逻辑：理论和建模应用
2. Analytic Calculi for Non-Classical Logics: Theory and Applications (Invited talk) [J] . Agata Ciabattoni LIPIcs : Leibniz International Proceedings in Informatics . 2016,第4期

机译：非古典逻辑的解析计算：理论与应用（特邀演讲）
3. Subspace Density Matrix Functional Embedding Theory: Theory, Implementation, and Applications to Molecular Systems [J] . Zhang Xing, Carter Emily A. Journal of chemical theory and computation: JCTC . 2019,第2期

机译：子空间密度矩阵功能嵌入理论：理论，实施和应用于分子系统
4. Rewriting Logic Based Performance Estimation of Embedded Systems [C] . Fateh Boutekkouk Analytical and stochastic modeling techniques and applications . 2010

机译：基于重写逻辑的嵌入式系统性能评估
5. Applications of classical and quantum theories of critical phenomena to electron and ferroelectric systems. [D] . Roussev, Rossen Stantchev. 2003

机译：临界现象的经典理论和量子理论在电子和铁电系统中的应用。
6. Validation of the Chinese EORTC chronic lymphocytic leukaemia module – application of classical test theory and item response theory [O] . Dong Dong, Jun Jin, Simone Oerlemans, 2020

机译：中国EORTC慢性淋巴细胞白血病模块的验证-经典测试理论和项目反应理论的应用
7. Natural Deduction Systems for Intuitionistic Substructural Logics and their Strong Normalization(Theory of Rewriting Systems and Its Applications) [O] . Mouri Motohiko 1995

机译：直觉子结构逻辑的自然演绎系统及其强规范化（重写系统理论及其应用）
8. Optimal Code Generation for Expression Trees: An Application of BURS (Bottom-Up Rewrite Systems) Theory [R] . Pelegri-Llopart, E., Graham, S. L. 1988

机译：表达树的最优代码生成：BURs（自下而上重写系统）理论的应用

On embedding of classical substructural logics(Theory of Rewriting Systems and Its Applications)

著录项

引文网络

相似文献

相关主题

期刊订阅