Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574129634> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1574129634 endingPage "227" @default.
- W1574129634 startingPage "225" @default.
- W1574129634 abstract "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. - Volume 51 Issue 1" @default.
- W1574129634 created "2016-06-24" @default.
- W1574129634 creator A5052139381 @default.
- W1574129634 date "1986-03-01" @default.
- W1574129634 modified "2023-09-27" @default.
- W1574129634 title "Pratt Vaughan R.. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York 1976, pp. 109–121.Fischer Michael J. and Ladner Richard E.. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211.Segerberg Krister. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan …" @default.
- W1574129634 doi "https://doi.org/10.2307/2273958" @default.
- W1574129634 hasPublicationYear "1986" @default.
- W1574129634 type Work @default.
- W1574129634 sameAs 1574129634 @default.
- W1574129634 citedByCount "177" @default.
- W1574129634 countsByYear W15741296342012 @default.
- W1574129634 countsByYear W15741296342013 @default.
- W1574129634 countsByYear W15741296342014 @default.
- W1574129634 countsByYear W15741296342015 @default.
- W1574129634 countsByYear W15741296342016 @default.
- W1574129634 countsByYear W15741296342017 @default.
- W1574129634 countsByYear W15741296342018 @default.
- W1574129634 countsByYear W15741296342020 @default.
- W1574129634 crossrefType "journal-article" @default.
- W1574129634 hasAuthorship W1574129634A5052139381 @default.
- W1574129634 hasConcept C11413529 @default.
- W1574129634 hasConcept C119599485 @default.
- W1574129634 hasConcept C127413603 @default.
- W1574129634 hasConcept C134306372 @default.
- W1574129634 hasConcept C165801399 @default.
- W1574129634 hasConcept C17231256 @default.
- W1574129634 hasConcept C172385210 @default.
- W1574129634 hasConcept C199343813 @default.
- W1574129634 hasConcept C2777686260 @default.
- W1574129634 hasConcept C2777796570 @default.
- W1574129634 hasConcept C33923547 @default.
- W1574129634 hasConcept C41008148 @default.
- W1574129634 hasConcept C47884741 @default.
- W1574129634 hasConcept C71924100 @default.
- W1574129634 hasConceptScore W1574129634C11413529 @default.
- W1574129634 hasConceptScore W1574129634C119599485 @default.
- W1574129634 hasConceptScore W1574129634C127413603 @default.
- W1574129634 hasConceptScore W1574129634C134306372 @default.
- W1574129634 hasConceptScore W1574129634C165801399 @default.
- W1574129634 hasConceptScore W1574129634C17231256 @default.
- W1574129634 hasConceptScore W1574129634C172385210 @default.
- W1574129634 hasConceptScore W1574129634C199343813 @default.
- W1574129634 hasConceptScore W1574129634C2777686260 @default.
- W1574129634 hasConceptScore W1574129634C2777796570 @default.
- W1574129634 hasConceptScore W1574129634C33923547 @default.
- W1574129634 hasConceptScore W1574129634C41008148 @default.
- W1574129634 hasConceptScore W1574129634C47884741 @default.
- W1574129634 hasConceptScore W1574129634C71924100 @default.
- W1574129634 hasIssue "01" @default.
- W1574129634 hasLocation W15741296341 @default.
- W1574129634 hasOpenAccess W1574129634 @default.
- W1574129634 hasPrimaryLocation W15741296341 @default.
- W1574129634 hasRelatedWork W1505776411 @default.
- W1574129634 hasRelatedWork W1987545911 @default.
- W1574129634 hasRelatedWork W2025571074 @default.
- W1574129634 hasRelatedWork W2075022248 @default.
- W1574129634 hasRelatedWork W2385436975 @default.
- W1574129634 hasRelatedWork W3007714615 @default.
- W1574129634 hasRelatedWork W4233291639 @default.
- W1574129634 hasRelatedWork W426027547 @default.
- W1574129634 hasRelatedWork W620828109 @default.
- W1574129634 hasRelatedWork W639668199 @default.
- W1574129634 hasVolume "51" @default.
- W1574129634 isParatext "false" @default.
- W1574129634 isRetracted "false" @default.
- W1574129634 magId "1574129634" @default.
- W1574129634 workType "article" @default.