Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp.

1996 ◽  
Vol 61 (2) ◽  
pp. 703-704 ◽  
Author(s):  
H. B. Enderton
Keyword(s):  
New York ◽  
Computer Science ◽  
San Diego ◽  
Scientific Computing ◽  
Theoretical Computer Science ◽  
Academic Press ◽  
Theoretical Computer

Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415. - Dexter Kozen and Rohit Parikh. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.

1986 ◽  
Vol 51 (1) ◽  
pp. 225-227 ◽  
Author(s):  
Robert Goldblatt
Keyword(s):  
New York ◽  
Computer Science ◽  
Universal Algebra ◽  
Dynamic Logic ◽  
Completeness Theorem ◽  
Theoretical Computer Science ◽  
Propositional Dynamic Logic ◽  
Theoretical Computer ◽  
Mathematical Foundations ◽  
Scientific Publishers
Sign in / Sign up

Export Citation Format

Share Document