论文信息 - Results on the Glory of the Past - 字舞流文

Results on the Glory of the Past

Ildikó Sain | I. Sain

[1] Martín Abadi,et al. The Power of Temporal Proofs , 1989, Theor. Comput. Sci..

[2] Martín Abadi,et al. A Timely Resolution , 1986, LICS.

[3] Amir Pnueli,et al. The Glory of the Past , 1985, Logic of Programs.

[4] Ildikó Sain,et al. The Reasoning Powers of Burstall's (Modal Logic) and Pnueli's (Temporal Logic) Program Verification Methods , 1985, Logic of Programs.

[5] Ildikó Sain,et al. A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I , 1982, Theor. Comput. Sci..

[6] István Németi,et al. Nonstandard Dynamic Logic , 1981, Logic of Programs.

[7] Saharon Shelah,et al. On the temporal analysis of fairness , 1980, POPL '80.

[8] Zohar Manna,et al. The Modal Logic of Programs , 1979, ICALP.

[9] Fred Krögr. Temporal Logic Of Programs , 1987 .

[10] Ildikó Sain,et al. Henkin-type semantics for program-schemes to turn negative results to positive , 1979, FCT.