C-Dioids and μ-Continuous Chomsky-Algebras

机译：C-Dioids和μ-连续Chomsky代数

获取原文

页面导航

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

摘要

We prove that the categories of C-dioids of Hopkins 2008 and of μ-continuous Chomsky-algebras of Grathwohl, Henglein and Kozen 2013 are the same.

机译：我们证明霍普金斯2008年的C-dioids类别与Grathwohl，Henglein和Kozen 2013的μ连续乔姆斯基代数的类别相同。

著录项

来源
《International conference on relational and algebraic methods in computer science》|2018年|21-36|共16页
会议地点
作者
Hans Leiss; Mark Hopkins;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Development of Continuous Filtration in a Novel Continuous Filtration Carousel Integrated with Continuous Crystallization [J] . Liu Yiqing C., Domokos Andras, Coleman Simon, Organic process research & development . 2019,第12期

机译：一种新型连续过滤转盘连续过滤的开发，与连续结晶相结合
2. ?INSERTION OF A CONTRA-CONTINUOUS FUNCTION BETWEEN TWO ??COMPARABLE CONTRA-$lpha-$CONTINUOUS (CONTRA-$C-$CONTINUOUS) FUNCTIONS [J] . Majid Mirmiran, Binesh Naderi Facta Universitatis. Series Mathematics and Informatics . 2019,第1期

机译：？在两个相对的反射 - $ alpha-$连续（对比 - $ C-$连续）函数之间插入对比持续功能
3. Novel device for application of continuous mechanical tensile strain to mammalian cells Novel device for application of continuous mechanical tensile strain to mammalian cells Novel device for application of continuous mechanical tensile strain to mammalian cells [J] . Yoshiki Nakamura, Tsuyoshi Narimiya, Satoshi Wada, Biology Open . 2017,第4期

机译：将连续机械拉伸应变施加于哺乳动物细胞的新型装置将连续机械拉伸应变施加于哺乳动物细胞的新型装置将连续机械拉伸应变施加于哺乳动物细胞的新型装置
4. C-Dioids and μ-Continuous Chomsky-Algebras [C] . Hans Leiss, Mark Hopkins International Conference on Relational and Algebraic Methods in Computer Science . 2018

机译：C-二脂肪和μ连续的CHOMSKY-ALGEBRAS
5. Prediction and Validation of Continuous Fiber Stiffened Plates Manufactured with Continuous Fiber Fabrication [D] . ?Khan, Nabeel Ahmed 2020

机译：连续纤维制造生产连续光纤加强板的预测与验证
6. Sensors Algorithms for Continuous Glucose Monitoring: Glucose Prediction Algorithms from Continuous Monitoring Data: Assessment of Accuracy via Continuous Glucose Error-Grid Analysis [O] . Francesca Zanderigo, Giovanni Sparacino, Boris Kovatchev, 2007

机译：连续葡萄糖监测的传感器和算法：连续监测数据中的葡萄糖预测算法：通过连续葡萄糖误差网格分析的准确性评估
7. ‎INSERTION OF A CONTRA-CONTINUOUS FUNCTION BETWEEN TWO ‎‎COMPARABLE CONTRA-$lpha-$CONTINUOUS (CONTRA-$C-$CONTINUOUS) FUNCTIONS [O] . Majid Mirmiran, Binesh Naderi 2019

机译：在两种可比性对比之间插入持续的函数 - $ alpha-$持续（反矛盾）函数

C-Dioids and μ-Continuous Chomsky-Algebras

摘要

著录项

相似文献

相关主题

期刊订阅