On the Formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions 期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

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

摘要：
收稿时间：	1999-08-24
本文献已被 ScienceDirect 等数据库收录！