首页> 外文OA文献 >The Situation and State Calculus Versus Branching Temporal Logic

【2h】

The Situation and State Calculus Versus Branching Temporal Logic

机译：形势与状态微积分与分支时态逻辑

页面导航

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

著录项

作者
Jaime Ramos; Amílcar Sernadas;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics [J] . Jan Woleński Logica Universalis . 2012,第3a4期

机译：逻辑作为微积分对逻辑，语言作为微积分对语言，语言作为微积分对语言作为通用媒介，以及语法对语义
2. Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics [J] . Woleński J. Logica universalis . 2012,第3a4期

机译：作为微积分的逻辑与作为语言的逻辑，作为微积分的语言与作为通用介质的语言，以及语法与语义
3. A Resolution Calculus for the Branching-Time Temporal Logic CTL [J] . LAN ZHANG, ULLRICH HUSTADT, CLARE DIXON ACM transactions on computational logic . 2014,第1期

机译：分支时间时序逻辑CTL的分辨率演算
4. The Situation and State Calculus versus Branching Temporal Logic [C] . International Workshop on Recent Trends in Algebraic Development Techniques . 2005

机译：情况和状态结石与分支时间逻辑
5. The situation calculus: Decidability and an approach based on the logic for non-monotone inductive definitions. [D] . Ternovska, Evgenia Aleksandrovna. 2002

机译：情境演算：可判定性和基于非单调归纳定义逻辑的方法。
6. PERFORATION OF THE KIDNEY BY A LARGE BRANCHED CALCULUS [O] . William Everett 1925

机译：大分支结石对肾脏的穿孔
7. A resolution calculus for the branching-time temporal logic CTL [O] . Zhang L, Hustadt U, Dixon C 2014

机译：分支时间时态逻辑CTL的分辨率计算
8. Functional Temporal Calculus Versus Temporal Logic: An Engineering Approach [R] . Boute, R. T. 1985

机译：功能时间微积分与时间逻辑：一种工程方法

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号