CSpace  > 系统科学研究所
余式方法中的线性策略以及语义策略和锁策略
刘卓军1; 吴尽昭2
1997
Source Publication计算机学报
ISSN0254-4164
Volume020Issue:002Pages:174
Abstract本文证明了一介定性证明的余式方法对于线性策略是完备的,而对于语义策略和锁策略,在例题演算中是完备的,在一阶谓词演算法,对于一种较弱形式的语义策略和锁策略,提完备的。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/41662
Collection系统科学研究所
Affiliation1.中国科学院数学与系统科学研究院
2.北京大学
Recommended Citation
GB/T 7714
刘卓军,吴尽昭. 余式方法中的线性策略以及语义策略和锁策略[J]. 计算机学报,1997,020(002):174.
APA 刘卓军,&吴尽昭.(1997).余式方法中的线性策略以及语义策略和锁策略.计算机学报,020(002),174.
MLA 刘卓军,et al."余式方法中的线性策略以及语义策略和锁策略".计算机学报 020.002(1997):174.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[刘卓军]'s Articles
[吴尽昭]'s Articles
Baidu academic
Similar articles in Baidu academic
[刘卓军]'s Articles
[吴尽昭]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[刘卓军]'s Articles
[吴尽昭]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.