首页> 外文OA文献 >Some natural structures which fail to possess a sound and decidable hoare-like logic for their while-programs

【2h】

Some natural structures which fail to possess a sound and decidable hoare-like logic for their while-programs

机译：一些自然结构在其while程序中没有健全而可判定的类似hoare的逻辑

代理获取

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

页面导航

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

著录项

作者
Bergstra J.A.; Tucker J.V.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On decidability of monadic logic of order over the naturals extended by monadic predicates [J] . Alexander Rabinovich Information and computation . 2007,第6期

机译：关于单子谓词所扩展的自然的单子阶逻辑的可判定性
2. Coalgebraic modal logic: soundness, completeness and decidability of local consequence [J] . Dirk Pattinson Theoretical computer science . 2003,第1a3期

机译：煤代模态逻辑：局部后果的稳健性，完整性和可判定性
3. Decidable logics combining heap structures and data [J] . Madhusudan P., Parlato Gennaro, Qiu Xiaokang ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第1期

机译：组合堆结构和数据的可判定逻辑
4. A Novel Structure of Multioutput Hybrid Logic Networks Based on Self-Checking Logic and Fail-Safe Logic for Fault Diagnosis [C] . Jianhui Jiang, Mou Hu, Hongbao Shi International conference on computer-aided design computer graphics;CAD/Graphics'97 . 1997

机译：基于自检逻辑和故障安全逻辑的多输出混合逻辑网络故障诊断新结构
5. Applications of 4-state nanomagnetic logic using multiferroic nanomagnets possessing biaxial magnetocrystalline anisotropy and experiments on 2-state multiferroic nanomagnetic logic. [D] . D'Souza, Noel Michael. 2014

机译：具有双轴磁晶各向异性的多铁性纳米磁体在四态纳米磁逻辑中的应用以及两态多铁性纳米磁逻辑的实验。
6. On the Sparse Structure of Natural Sounds and Natural Images: Similarities, Differences, and Implications for Neural Coding [O] . Eric McVoy Dodds, Michael Robert DeWeese 1968

机译：自然声音和自然图像的稀疏结构：相似性，差异和对神经编码的含义。
7. Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA [O] . Marisa Venturini-Zilli 1988

机译：可数不确定和计划逻辑：逻辑ALNA中具有非必要性的课程的公平良好的课程
8. The Field of Algebraic Numbers Fails to Possess Even a Nice Sound, Given Relatively Incomplete, Hoare-Like Logic for Its WHILE-Programs [R] . Bergstra, J. A. 1980

机译：代数数字领域即使是一个不错的声音也没有，因为它的WHILE程序具有相对不完整，类似于Hoare的逻辑

Some natural structures which fail to possess a sound and decidable hoare-like logic for their while-programs

著录项

引文网络

相似文献

相关主题

期刊订阅