Matches in SemOpenAlex for { <https://semopenalex.org/work/W566359488> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W566359488 abstract "Mathematical Background.- 1. Logic and Model Theory.- 2. Inductive Definability.- I Computability.- 3. Introduction to Part I.- 4. Main Properties of Program Schemas.- 5. Extension of Program Schemas.- 6. Program Schemas with Stacks.- 7. Computability.- 8. On Inductive Definability of 1- and 2-Computable Relations.- II Extended Dynamic Logics.- 9. Introduction to Part II.- 10. Description of Program Properties.- 11. Den-based Descriptive Languages.- 12. The Problem of Completeness.- 13. Dynamic Logic Generated by Extension.- 14. Continuous Denotational Semantics.- 15. Definable Denotational Semantics.- III Temporal Characterization of Programs.- 16. Introduction to Part III.- 17. Temporal Logic.- 18. Temporal Logical Description of Program Properties.- 19. Is Temporal Logic Expressible in Dynamic Logic?.- 20. Is Dynamic Logic Expressible in Temporal Logic?.- 21. The Case of Enumerable Models.- 22. Temporal Axiomatization of Program Verification Methods.- IV Programming Logic with Explicit Time.- 23. Introduction to Part IV.- 24. Time Logic.- 25. Definability in Regular Time Theories.- 26. Expressive Power of Time.- Epilogue.- References.- Notations." @default.
- W566359488 created "2016-06-24" @default.
- W566359488 creator A5024362185 @default.
- W566359488 creator A5055209314 @default.
- W566359488 creator A5060267256 @default.
- W566359488 creator A5082626673 @default.
- W566359488 creator A5087996237 @default.
- W566359488 date "1991-12-05" @default.
- W566359488 modified "2023-10-12" @default.
- W566359488 title "First-Order Programming Theories" @default.
- W566359488 hasPublicationYear "1991" @default.
- W566359488 type Work @default.
- W566359488 sameAs 566359488 @default.
- W566359488 citedByCount "3" @default.
- W566359488 countsByYear W5663594882017 @default.
- W566359488 countsByYear W5663594882019 @default.
- W566359488 crossrefType "book" @default.
- W566359488 hasAuthorship W566359488A5024362185 @default.
- W566359488 hasAuthorship W566359488A5055209314 @default.
- W566359488 hasAuthorship W566359488A5060267256 @default.
- W566359488 hasAuthorship W566359488A5082626673 @default.
- W566359488 hasAuthorship W566359488A5087996237 @default.
- W566359488 hasConcept C102993220 @default.
- W566359488 hasConcept C11648818 @default.
- W566359488 hasConcept C121332964 @default.
- W566359488 hasConcept C128838566 @default.
- W566359488 hasConcept C156325763 @default.
- W566359488 hasConcept C162670838 @default.
- W566359488 hasConcept C165801399 @default.
- W566359488 hasConcept C169896238 @default.
- W566359488 hasConcept C172385210 @default.
- W566359488 hasConcept C184337299 @default.
- W566359488 hasConcept C19689857 @default.
- W566359488 hasConcept C199360897 @default.
- W566359488 hasConcept C203659156 @default.
- W566359488 hasConcept C207648694 @default.
- W566359488 hasConcept C25016198 @default.
- W566359488 hasConcept C2777796570 @default.
- W566359488 hasConcept C41008148 @default.
- W566359488 hasConcept C58041814 @default.
- W566359488 hasConcept C62520636 @default.
- W566359488 hasConcept C80444323 @default.
- W566359488 hasConceptScore W566359488C102993220 @default.
- W566359488 hasConceptScore W566359488C11648818 @default.
- W566359488 hasConceptScore W566359488C121332964 @default.
- W566359488 hasConceptScore W566359488C128838566 @default.
- W566359488 hasConceptScore W566359488C156325763 @default.
- W566359488 hasConceptScore W566359488C162670838 @default.
- W566359488 hasConceptScore W566359488C165801399 @default.
- W566359488 hasConceptScore W566359488C169896238 @default.
- W566359488 hasConceptScore W566359488C172385210 @default.
- W566359488 hasConceptScore W566359488C184337299 @default.
- W566359488 hasConceptScore W566359488C19689857 @default.
- W566359488 hasConceptScore W566359488C199360897 @default.
- W566359488 hasConceptScore W566359488C203659156 @default.
- W566359488 hasConceptScore W566359488C207648694 @default.
- W566359488 hasConceptScore W566359488C25016198 @default.
- W566359488 hasConceptScore W566359488C2777796570 @default.
- W566359488 hasConceptScore W566359488C41008148 @default.
- W566359488 hasConceptScore W566359488C58041814 @default.
- W566359488 hasConceptScore W566359488C62520636 @default.
- W566359488 hasConceptScore W566359488C80444323 @default.
- W566359488 hasLocation W5663594881 @default.
- W566359488 hasOpenAccess W566359488 @default.
- W566359488 hasPrimaryLocation W5663594881 @default.
- W566359488 hasRelatedWork W1494240257 @default.
- W566359488 hasRelatedWork W1504127603 @default.
- W566359488 hasRelatedWork W1552209967 @default.
- W566359488 hasRelatedWork W1575992249 @default.
- W566359488 hasRelatedWork W1747580701 @default.
- W566359488 hasRelatedWork W1765627215 @default.
- W566359488 hasRelatedWork W1777763691 @default.
- W566359488 hasRelatedWork W1796743921 @default.
- W566359488 hasRelatedWork W1811327378 @default.
- W566359488 hasRelatedWork W1850297979 @default.
- W566359488 hasRelatedWork W1938739028 @default.
- W566359488 hasRelatedWork W1964964089 @default.
- W566359488 hasRelatedWork W2002458545 @default.
- W566359488 hasRelatedWork W2138121155 @default.
- W566359488 hasRelatedWork W2148499109 @default.
- W566359488 hasRelatedWork W2583750720 @default.
- W566359488 hasRelatedWork W411080399 @default.
- W566359488 hasRelatedWork W620107433 @default.
- W566359488 hasRelatedWork W622083538 @default.
- W566359488 hasRelatedWork W644163964 @default.
- W566359488 isParatext "false" @default.
- W566359488 isRetracted "false" @default.
- W566359488 magId "566359488" @default.
- W566359488 workType "book" @default.