Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034214488> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2034214488 endingPage "55" @default.
- W2034214488 startingPage "53" @default.
- W2034214488 abstract "article An equivalence result for temporal logic Share on Author: Stephen C. Dewhurst Providence, RI Providence, RIView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 16Issue 2February 1981 pp 53–55https://doi.org/10.1145/954269.954276Online:01 February 1981Publication History 0citation98DownloadsMetricsTotal Citations0Total Downloads98Last 12 Months1Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access" @default.
- W2034214488 created "2016-06-24" @default.
- W2034214488 creator A5015855798 @default.
- W2034214488 date "1981-02-01" @default.
- W2034214488 modified "2023-09-27" @default.
- W2034214488 title "An equivalence result for temporal logic" @default.
- W2034214488 cites W2030926579 @default.
- W2034214488 cites W2157319504 @default.
- W2034214488 doi "https://doi.org/10.1145/954269.954276" @default.
- W2034214488 hasPublicationYear "1981" @default.
- W2034214488 type Work @default.
- W2034214488 sameAs 2034214488 @default.
- W2034214488 citedByCount "0" @default.
- W2034214488 crossrefType "journal-article" @default.
- W2034214488 hasAuthorship W2034214488A5015855798 @default.
- W2034214488 hasConcept C118615104 @default.
- W2034214488 hasConcept C136764020 @default.
- W2034214488 hasConcept C199360897 @default.
- W2034214488 hasConcept C23123220 @default.
- W2034214488 hasConcept C25016198 @default.
- W2034214488 hasConcept C2778805511 @default.
- W2034214488 hasConcept C2780069185 @default.
- W2034214488 hasConcept C33923547 @default.
- W2034214488 hasConcept C41008148 @default.
- W2034214488 hasConcept C80444323 @default.
- W2034214488 hasConceptScore W2034214488C118615104 @default.
- W2034214488 hasConceptScore W2034214488C136764020 @default.
- W2034214488 hasConceptScore W2034214488C199360897 @default.
- W2034214488 hasConceptScore W2034214488C23123220 @default.
- W2034214488 hasConceptScore W2034214488C25016198 @default.
- W2034214488 hasConceptScore W2034214488C2778805511 @default.
- W2034214488 hasConceptScore W2034214488C2780069185 @default.
- W2034214488 hasConceptScore W2034214488C33923547 @default.
- W2034214488 hasConceptScore W2034214488C41008148 @default.
- W2034214488 hasConceptScore W2034214488C80444323 @default.
- W2034214488 hasIssue "2" @default.
- W2034214488 hasLocation W20342144881 @default.
- W2034214488 hasOpenAccess W2034214488 @default.
- W2034214488 hasPrimaryLocation W20342144881 @default.
- W2034214488 hasRelatedWork W1552727000 @default.
- W2034214488 hasRelatedWork W1740747940 @default.
- W2034214488 hasRelatedWork W2045840663 @default.
- W2034214488 hasRelatedWork W2109507516 @default.
- W2034214488 hasRelatedWork W2112962394 @default.
- W2034214488 hasRelatedWork W2118300983 @default.
- W2034214488 hasRelatedWork W2166247150 @default.
- W2034214488 hasRelatedWork W2180648729 @default.
- W2034214488 hasRelatedWork W2748952813 @default.
- W2034214488 hasRelatedWork W4243252198 @default.
- W2034214488 hasVolume "16" @default.
- W2034214488 isParatext "false" @default.
- W2034214488 isRetracted "false" @default.
- W2034214488 magId "2034214488" @default.
- W2034214488 workType "article" @default.