Matches in SemOpenAlex for { <https://semopenalex.org/work/W1608326502> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1608326502 abstract "The paper presents the differential equations that characterize an asynchronous automaton and gives their solution x:R->{0,1}x...x{0,1}. Remarks are made on the connection between the continuous time and the discrete time of the approach. The continuous and the discrete time, the linear and the branching temporal logics have the semantics depending on x and their formulas give the properties of the automaton." @default.
- W1608326502 created "2016-06-24" @default.
- W1608326502 creator A5033099994 @default.
- W1608326502 date "2001-10-31" @default.
- W1608326502 modified "2023-09-27" @default.
- W1608326502 title "An Asynchronous Automata Approach to the Semantics of Temporal Logic" @default.
- W1608326502 cites W1512310098 @default.
- W1608326502 cites W1544022704 @default.
- W1608326502 cites W1855767292 @default.
- W1608326502 cites W1999890019 @default.
- W1608326502 hasPublicationYear "2001" @default.
- W1608326502 type Work @default.
- W1608326502 sameAs 1608326502 @default.
- W1608326502 citedByCount "0" @default.
- W1608326502 crossrefType "posted-content" @default.
- W1608326502 hasAuthorship W1608326502A5033099994 @default.
- W1608326502 hasConcept C112505250 @default.
- W1608326502 hasConcept C11413529 @default.
- W1608326502 hasConcept C118615104 @default.
- W1608326502 hasConcept C13355873 @default.
- W1608326502 hasConcept C136119220 @default.
- W1608326502 hasConcept C151319957 @default.
- W1608326502 hasConcept C159985019 @default.
- W1608326502 hasConcept C184337299 @default.
- W1608326502 hasConcept C192562407 @default.
- W1608326502 hasConcept C199360897 @default.
- W1608326502 hasConcept C202444582 @default.
- W1608326502 hasConcept C206175624 @default.
- W1608326502 hasConcept C25016198 @default.
- W1608326502 hasConcept C2524010 @default.
- W1608326502 hasConcept C30788636 @default.
- W1608326502 hasConcept C31258907 @default.
- W1608326502 hasConcept C33923547 @default.
- W1608326502 hasConcept C41008148 @default.
- W1608326502 hasConcept C4777664 @default.
- W1608326502 hasConcept C80444323 @default.
- W1608326502 hasConceptScore W1608326502C112505250 @default.
- W1608326502 hasConceptScore W1608326502C11413529 @default.
- W1608326502 hasConceptScore W1608326502C118615104 @default.
- W1608326502 hasConceptScore W1608326502C13355873 @default.
- W1608326502 hasConceptScore W1608326502C136119220 @default.
- W1608326502 hasConceptScore W1608326502C151319957 @default.
- W1608326502 hasConceptScore W1608326502C159985019 @default.
- W1608326502 hasConceptScore W1608326502C184337299 @default.
- W1608326502 hasConceptScore W1608326502C192562407 @default.
- W1608326502 hasConceptScore W1608326502C199360897 @default.
- W1608326502 hasConceptScore W1608326502C202444582 @default.
- W1608326502 hasConceptScore W1608326502C206175624 @default.
- W1608326502 hasConceptScore W1608326502C25016198 @default.
- W1608326502 hasConceptScore W1608326502C2524010 @default.
- W1608326502 hasConceptScore W1608326502C30788636 @default.
- W1608326502 hasConceptScore W1608326502C31258907 @default.
- W1608326502 hasConceptScore W1608326502C33923547 @default.
- W1608326502 hasConceptScore W1608326502C41008148 @default.
- W1608326502 hasConceptScore W1608326502C4777664 @default.
- W1608326502 hasConceptScore W1608326502C80444323 @default.
- W1608326502 hasLocation W16083265021 @default.
- W1608326502 hasOpenAccess W1608326502 @default.
- W1608326502 hasPrimaryLocation W16083265021 @default.
- W1608326502 hasRelatedWork W1482233117 @default.
- W1608326502 hasRelatedWork W1501020676 @default.
- W1608326502 hasRelatedWork W1585912566 @default.
- W1608326502 hasRelatedWork W1594640795 @default.
- W1608326502 hasRelatedWork W1893117918 @default.
- W1608326502 hasRelatedWork W2053807562 @default.
- W1608326502 hasRelatedWork W2063496519 @default.
- W1608326502 hasRelatedWork W2094545952 @default.
- W1608326502 hasRelatedWork W2109003011 @default.
- W1608326502 hasRelatedWork W2127219675 @default.
- W1608326502 hasRelatedWork W2133232472 @default.
- W1608326502 hasRelatedWork W2146363816 @default.
- W1608326502 hasRelatedWork W218753168 @default.
- W1608326502 hasRelatedWork W2240881893 @default.
- W1608326502 hasRelatedWork W2470025776 @default.
- W1608326502 hasRelatedWork W2914262973 @default.
- W1608326502 hasRelatedWork W3123425189 @default.
- W1608326502 hasRelatedWork W3134214811 @default.
- W1608326502 hasRelatedWork W37462798 @default.
- W1608326502 hasRelatedWork W2052412483 @default.
- W1608326502 isParatext "false" @default.
- W1608326502 isRetracted "false" @default.
- W1608326502 magId "1608326502" @default.
- W1608326502 workType "article" @default.