首页> 外文OA文献 >On the Formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions

【2h】

On the Formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions

机译：关于归纳构造微积分中模态微积分的形式化

代理获取

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

页面导航

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

著录项

作者
Miculan Marino;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions [J] . Marino Miculan Information and computation . 2001,第1期

机译：关于归纳微积分中模态微积分的形式化
2. A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions [J] . AndreaAsperti, WilmerRicciotti, ClaudioSacerdotiCoen, Logical Methods in Computer Science . 2012,第1期

机译：（共）归纳构造微积分的双向细化算法
3. A compact kernel for the calculus of inductive constructions [J] . A. ASPERTI, W. RICCIOTTI, C. SACERDOTI COEN, Sadhana: Academy Proceedings in Engineering Science . 2009,第1期

机译：用于归纳结构演算的紧凑内核
4. Formalizing a lazy substitution proof system for #um#-calculus in the calculus of inductive constructions [C] . Marino Miculan International colloquium on automata, Languages and programming . 1999

机译：在电感结构微积分中进行#MUM＃-Calculus的懒惰替代证明系统
5. Adding the modal mu -calculus to the instruction -set process calculus. [D] . Min, Byoung Woo. 2005

机译：将模态微积分添加到指令集过程微积分。
6. Association of gingivitis with dental calculus thickness or dental calculus coverage and subgingival bacteria in feline leukemia virus- and feline immunodeficiency virus-negative cats [O] . Naris Thengchaisri, Jörg M. Steiner, Jan S. Suchodolski, 2017

机译：猫白血病病毒和猫免疫缺陷病毒阴性猫的牙龈炎与牙结石厚度或牙结石覆盖率和牙龈下细菌的关系
7. On the formalization of the modal mu-calculus in the calculus of inductive constructions [O] . MICULAN, Marino 2001

机译：关于归纳构造演算中模态微演算的形式化
8. Formalizing Process Algebraic Verifications in the Calculus of Constructions [R] . Bezem, M., Bol, R., Groote, J. F. 1995

机译：在建构微积分中形式化过程代数验证

On the Formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions

著录项

引文网络

相似文献

相关主题

期刊订阅