Les modalités de la更正总计

 访问全文

 完整（PDF）

1. [AW1]E.ASHCROFTet W.WADGE，Lucid，《带迭代的非程序语言》，《计算机科学杂志》，第20卷，第7期，1977年7月，第519-526页Zbl0358.68033号
2. [AW2]E.ASHCROFTet W.WADGE，《Lucid中的间歇性断言证明》，I.F.I.P.77，第723-726页Zbl0363.68021号MR474941型
3. [B] BURSTALL，《用一点归纳法证明手部模拟的程序》，I.F.I.P.74，第308-312页Zbl0299.68012号MR448980型
4. [C] R.CARNAP，《模态与量化》，J.S.L.，第11卷，第2期，1946年，第33-64页Zbl0063.00713号MR19562型
5. [E] E.ENGELER，结构算法特性，数学。系统。这个。，第1卷，第3期，第183-185页Zbl0202.00802号224473英镑
6. [EP]P.ENJALBERT，《生产系统》，R.A.I.R.O.Inform。泰戈尔。，第14卷，第3期，1980年，第247-278页。 Zbl0441.68007号MR593490型
7. [F] FARIñAS DEL CERRO，逻辑模式解决方案的原则（àparaître）。 Zbl0566.03007号
8. [FL]FLOYD，为程序赋值，程序。阿默尔。数学。社会研讨会。应用程序中。数学。，1967年第19卷，第19-31页Zbl0189.50204号MR235771型
9. [H] D.HAREL，《一阶动态逻辑》，计算机科学讲稿，Springer Verlag，n°68Zbl0403.03024号567695令吉
10. [HKP]HAREL，KOZEN et PARIKH，《过程逻辑、表达性、可决定性、完整性》，F.O.C.S.80，第129-142页MR596055型
11. [HO]HOARE，《计算机程序设计公理基础》，《计算机通讯》，第12卷，第10期，1969年Zbl0179.23105号
12. [HC]HUGHES et CRESSWELL，模态逻辑导论，Mathuem et Co.，伦敦，1978Zbl0205.00503号
13. [K] KRØGER，《LAR：算法推理的逻辑》，《信息学报》，1977年，第243-266页Zbl0347.68016号
14. [Ml]Z.MANNA，程序的性质和一阶谓词演算，J.A.C.M.，第16卷，第2期，1969年，第244-255页Zbl0198.22001号
15. [M2]Z.MANNA，《程序逻辑》，Proc，I.F.I.P.80，North-Holland，第41-52页
16. [MP]Z.MANNAet A.PNUELI，程序的模态逻辑，备忘录AIM-330斯坦福A.I.实验室，1979年9月
17. [NW]Z.MANNAet R.WALDINGER，“有时”比“总是”好吗？：《证明程序正确性的间歇断言》，《美国商事仲裁委员会》，第21卷，第2期，1978年，第159-172页Zbl0367.68011号MR483642型
18. [Mc]MCARTHUR，时态逻辑，Reidel Publ。，1976. Zbl0371.02013号536334英镑
19. [MCT]MCKINSEY，et TARSKI，《关于Lewis and Heyting的句子演算的一些定理》，J.S.L.，第13卷，1948年，第1-15页Zbl0037.29409号MR24396型
20. [MI]MINC，通信人员。 
21. [0]ORLOWSKA，《分辨率系统及其应用》，I、II《基础信息》，第235-267页，第333-362页兹比尔0472.68052MR591776型
22. [P] W.T.PARRY，《严格含义调查系统中的模式》，J.S.L.，第4卷，1939年，第131-154页Zbl0023.09902号JFM65.1105.04型
23. [PR]V.R.PRATT，Floyd-Hoare逻辑的语义考虑，Proc。第17届国际电工委员会研讨会。公司基础。科学期刊，1976年，第109-121页MR502164型
24. [RS]RASIOWA et SIKORSKI，《元数学的数学》，瓦尔佐瓦，1963年Zbl0122.24311号
25. [R] 罗宾逊，《基于分辨原理的面向机器逻辑》，J.A.C.M.，第12卷，1965年，第23-41页Zbl0139.12303号MR170494型
26. [S] SALWICKI，格式化算法语言，布尔。会计政策。科学期刊，第18卷，第5期，1970年，第227-232页Zbl0198.02801号MR270852型
27. [VE]M.VAN EMDEN，验证条件作为程序，自动化语言和编程，MICHEALSON和MILNER，éd。，爱丁堡大学出版社，1976年，第99-119页Zbl0403.68015号