Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970635712> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1970635712 endingPage "623" @default.
- W1970635712 startingPage "615" @default.
- W1970635712 abstract "Journal Article A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic Get access Dimitar P. Guelev Dimitar P. Guelev Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia, Bulgaria. Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 18, Issue 4, August 2008, Pages 615–623, https://doi.org/10.1093/logcom/exn002 Published: 06 February 2008 Article history Received: 22 January 2007 Published: 06 February 2008" @default.
- W1970635712 created "2016-06-24" @default.
- W1970635712 creator A5052887063 @default.
- W1970635712 date "2007-11-22" @default.
- W1970635712 modified "2023-10-14" @default.
- W1970635712 title "A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic" @default.
- W1970635712 cites W1675507648 @default.
- W1970635712 cites W1979971526 @default.
- W1970635712 doi "https://doi.org/10.1093/logcom/exn002" @default.
- W1970635712 hasPublicationYear "2007" @default.
- W1970635712 type Work @default.
- W1970635712 sameAs 1970635712 @default.
- W1970635712 citedByCount "2" @default.
- W1970635712 countsByYear W19706357122022 @default.
- W1970635712 crossrefType "journal-article" @default.
- W1970635712 hasAuthorship W1970635712A5052887063 @default.
- W1970635712 hasBestOaLocation W19706357122 @default.
- W1970635712 hasConcept C138885662 @default.
- W1970635712 hasConcept C142724271 @default.
- W1970635712 hasConcept C161191863 @default.
- W1970635712 hasConcept C17744445 @default.
- W1970635712 hasConcept C191630685 @default.
- W1970635712 hasConcept C199539241 @default.
- W1970635712 hasConcept C204787440 @default.
- W1970635712 hasConcept C25016198 @default.
- W1970635712 hasConcept C2776910235 @default.
- W1970635712 hasConcept C2780343019 @default.
- W1970635712 hasConcept C33923547 @default.
- W1970635712 hasConcept C41008148 @default.
- W1970635712 hasConcept C41895202 @default.
- W1970635712 hasConcept C4777664 @default.
- W1970635712 hasConcept C71924100 @default.
- W1970635712 hasConcept C80444323 @default.
- W1970635712 hasConceptScore W1970635712C138885662 @default.
- W1970635712 hasConceptScore W1970635712C142724271 @default.
- W1970635712 hasConceptScore W1970635712C161191863 @default.
- W1970635712 hasConceptScore W1970635712C17744445 @default.
- W1970635712 hasConceptScore W1970635712C191630685 @default.
- W1970635712 hasConceptScore W1970635712C199539241 @default.
- W1970635712 hasConceptScore W1970635712C204787440 @default.
- W1970635712 hasConceptScore W1970635712C25016198 @default.
- W1970635712 hasConceptScore W1970635712C2776910235 @default.
- W1970635712 hasConceptScore W1970635712C2780343019 @default.
- W1970635712 hasConceptScore W1970635712C33923547 @default.
- W1970635712 hasConceptScore W1970635712C41008148 @default.
- W1970635712 hasConceptScore W1970635712C41895202 @default.
- W1970635712 hasConceptScore W1970635712C4777664 @default.
- W1970635712 hasConceptScore W1970635712C71924100 @default.
- W1970635712 hasConceptScore W1970635712C80444323 @default.
- W1970635712 hasIssue "4" @default.
- W1970635712 hasLocation W19706357121 @default.
- W1970635712 hasLocation W19706357122 @default.
- W1970635712 hasOpenAccess W1970635712 @default.
- W1970635712 hasPrimaryLocation W19706357121 @default.
- W1970635712 hasRelatedWork W2020883449 @default.
- W1970635712 hasRelatedWork W2031188261 @default.
- W1970635712 hasRelatedWork W2124110813 @default.
- W1970635712 hasRelatedWork W2763487042 @default.
- W1970635712 hasRelatedWork W3021103820 @default.
- W1970635712 hasRelatedWork W3035590440 @default.
- W1970635712 hasRelatedWork W4229452558 @default.
- W1970635712 hasRelatedWork W4232446061 @default.
- W1970635712 hasRelatedWork W4252807681 @default.
- W1970635712 hasRelatedWork W4285022830 @default.
- W1970635712 hasVolume "18" @default.
- W1970635712 isParatext "false" @default.
- W1970635712 isRetracted "false" @default.
- W1970635712 magId "1970635712" @default.
- W1970635712 workType "article" @default.