Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. M.Abadi, ”The power of temporal proofs”, preprint of Digital Systems Research Center (1988).
2. M.Abadi, ”Temporal logic was incomplete only temporarily”, Preprint (1989).
3. M.Abadi and Z.Manna, ”A timely resolution”, First Annual Symposium in Computer Science, (1986), 176–186.
4. H. Andreka, ”Sharpening the characterization of the power of Floyd's method”, in: Logic of Programs and their Applications, ed.: A. Salwicki (Proc. Conf. Poznan 1980), Lecture Notes in Computer Science 148, Springer-Verlag 2983, pp. 1–26.
5. H. Andreka, I. Nemeti and I. Sain, “A complete logic for reasoning about programs via nonstandard model theory”, Parts I–II, Theoretical Computer Science 17 (1982), pp. 193–212 and pp. 259–278.