Matches in SemOpenAlex for { <https://semopenalex.org/work/W43751497> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W43751497 abstract "We propose a temporal logic based on structures divided into several layers of linear “time scales” and give a sound and complete derivation system. The logic is applied to the formulation and verification of assertions about sequential recursive programs." @default.
- W43751497 created "2016-06-24" @default.
- W43751497 creator A5064720343 @default.
- W43751497 creator A5067310583 @default.
- W43751497 date "1991-02-01" @default.
- W43751497 modified "2023-09-25" @default.
- W43751497 title "Temporal Logic and Recursion" @default.
- W43751497 doi "https://doi.org/10.3233/fi-1991-14207" @default.
- W43751497 hasPublicationYear "1991" @default.
- W43751497 type Work @default.
- W43751497 sameAs 43751497 @default.
- W43751497 citedByCount "1" @default.
- W43751497 crossrefType "journal-article" @default.
- W43751497 hasAuthorship W43751497A5064720343 @default.
- W43751497 hasAuthorship W43751497A5067310583 @default.
- W43751497 hasConcept C124416688 @default.
- W43751497 hasConcept C168773036 @default.
- W43751497 hasConcept C199360897 @default.
- W43751497 hasConcept C25016198 @default.
- W43751497 hasConcept C33923547 @default.
- W43751497 hasConcept C41008148 @default.
- W43751497 hasConcept C80444323 @default.
- W43751497 hasConceptScore W43751497C124416688 @default.
- W43751497 hasConceptScore W43751497C168773036 @default.
- W43751497 hasConceptScore W43751497C199360897 @default.
- W43751497 hasConceptScore W43751497C25016198 @default.
- W43751497 hasConceptScore W43751497C33923547 @default.
- W43751497 hasConceptScore W43751497C41008148 @default.
- W43751497 hasConceptScore W43751497C80444323 @default.
- W43751497 hasLocation W437514971 @default.
- W43751497 hasOpenAccess W43751497 @default.
- W43751497 hasPrimaryLocation W437514971 @default.
- W43751497 hasRelatedWork W111949461 @default.
- W43751497 hasRelatedWork W1488330382 @default.
- W43751497 hasRelatedWork W1507805823 @default.
- W43751497 hasRelatedWork W1558013152 @default.
- W43751497 hasRelatedWork W156124221 @default.
- W43751497 hasRelatedWork W1562179109 @default.
- W43751497 hasRelatedWork W168328309 @default.
- W43751497 hasRelatedWork W190860247 @default.
- W43751497 hasRelatedWork W2017661088 @default.
- W43751497 hasRelatedWork W2027415891 @default.
- W43751497 hasRelatedWork W204539619 @default.
- W43751497 hasRelatedWork W2066612386 @default.
- W43751497 hasRelatedWork W2099349227 @default.
- W43751497 hasRelatedWork W2124991013 @default.
- W43751497 hasRelatedWork W2131225255 @default.
- W43751497 hasRelatedWork W2146914143 @default.
- W43751497 hasRelatedWork W2475867549 @default.
- W43751497 hasRelatedWork W2572890684 @default.
- W43751497 hasRelatedWork W78382735 @default.
- W43751497 hasRelatedWork W998505309 @default.
- W43751497 isParatext "false" @default.
- W43751497 isRetracted "false" @default.
- W43751497 magId "43751497" @default.
- W43751497 workType "article" @default.