首页> 外文OA文献 >Coalgebraic Logics Duality

【2h】

Coalgebraic Logics Duality

机译：煤炭迷信与二元性

代理获取

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

页面导航

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

著录项

作者
Clemens Kupke;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Coalgebraic Semantics for Probabilistic Logic Programming [J] . Zanasi Fabio, Gu Tao Logical Methods in Computer Science . 2021,第3期

机译：概率逻辑编程的临时语义
2. A Coalgebraic Perspective on Probabilistic Logic Programming [J] . Tao Gu, Fabio Zanasi LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：概率逻辑编程的结合论观点
3. Coalgebraic Geometric Logic [J] . Nick Bezhanishvili, Jim de Groot, Yde Venema LIPIcs : Leibniz International Proceedings in Informatics . 2019,第29期

机译：代数几何逻辑
4. Coalgebraic Logics Duality [C] . Clemens Kupke Coalgebraic methods in computer science . 2018

机译：合并逻辑与对偶
5. Dual Interlocked Logic: A Radiation-hardened-by-design Technique for Single-event Logic Errors [D] . Maharrey, Jeffrey A. 2018

机译：双互锁逻辑：针对单事件逻辑错误的辐射加固设计技术
6. Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic [O] . Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, -1

机译：双重深度建模：具有双重效能的多层次建模及其在F-Logic中的形式化
7. Towards a Duality Result in Coalgebraic Modal Logic [O] . Jacobs Bart 2000

机译：迈向合并代数模态逻辑的对偶结果
8. Coalgebraic Logic and Synthesis of Mealy Machines [R] . Bonsangue, M. M., Rutten, J. J. M. M., Silva, A. M. 2007

机译：meal机器的代数逻辑与综合

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号