FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982962901> ?p ?o ?g. }

• W1982962901 endingPage "554" @default.
• W1982962901 startingPage "513" @default.
• W1982962901 abstract "A concrete dynamic-data type is just a partial algebra with predicates such that for some of the sorts there is a special predicate defining a transition relation. An abstract dynamic-data type (ad-dt) is an isomorphism class of such algebras. To obtain specifications for ad-dt's, we propose a logic which combines many-sorted first-order logic with branching-time combinators. We consider both an initial and a loose semantics for our specifications and give sufficient conditions for the existence of the initial models. Then we discuss structured specifications and implementation." @default.
• W1982962901 created "2016-06-24" @default.
• W1982962901 creator A5040739994 @default.
• W1982962901 creator A5082770309 @default.
• W1982962901 date "1997-02-01" @default.
• W1982962901 modified "2023-09-23" @default.
• W1982962901 title "Specification of abstract dynamic-data types: A temporal logic approach" @default.
• W1982962901 cites W1970554275 @default.
• W1982962901 cites W1976195354 @default.
• W1982962901 cites W1983608286 @default.
• W1982962901 cites W1988919560 @default.
• W1982962901 cites W1990085921 @default.
• W1982962901 cites W2005819264 @default.
• W1982962901 cites W2024016985 @default.
• W1982962901 cites W2033983519 @default.
• W1982962901 cites W2045641460 @default.
• W1982962901 cites W2086070079 @default.
• W1982962901 cites W2092497338 @default.
• W1982962901 cites W2111324752 @default.
• W1982962901 cites W2115641952 @default.
• W1982962901 cites W2293815615 @default.
• W1982962901 cites W330509217 @default.
• W1982962901 cites W4231113774 @default.
• W1982962901 doi "https://doi.org/10.1016/s0304-3975(96)00165-x" @default.
• W1982962901 hasPublicationYear "1997" @default.
• W1982962901 type Work @default.
• W1982962901 sameAs 1982962901 @default.
• W1982962901 citedByCount "29" @default.
• W1982962901 countsByYear W19829629012016 @default.
• W1982962901 crossrefType "journal-article" @default.
• W1982962901 hasAuthorship W1982962901A5040739994 @default.
• W1982962901 hasAuthorship W1982962901A5082770309 @default.
• W1982962901 hasConcept C102993220 @default.
• W1982962901 hasConcept C11413529 @default.
• W1982962901 hasConcept C115624301 @default.
• W1982962901 hasConcept C121332964 @default.
• W1982962901 hasConcept C136119220 @default.
• W1982962901 hasConcept C138958017 @default.
• W1982962901 hasConcept C140146324 @default.
• W1982962901 hasConcept C165801399 @default.
• W1982962901 hasConcept C172385210 @default.
• W1982962901 hasConcept C185592680 @default.
• W1982962901 hasConcept C18903297 @default.
• W1982962901 hasConcept C19689857 @default.
• W1982962901 hasConcept C199360897 @default.
• W1982962901 hasConcept C202444582 @default.
• W1982962901 hasConcept C203436722 @default.
• W1982962901 hasConcept C25016198 @default.
• W1982962901 hasConcept C2777299769 @default.
• W1982962901 hasConcept C2777796570 @default.
• W1982962901 hasConcept C33923547 @default.
• W1982962901 hasConcept C41008148 @default.
• W1982962901 hasConcept C62520636 @default.
• W1982962901 hasConcept C79678938 @default.
• W1982962901 hasConcept C8010536 @default.
• W1982962901 hasConcept C80444323 @default.
• W1982962901 hasConcept C86803240 @default.
• W1982962901 hasConceptScore W1982962901C102993220 @default.
• W1982962901 hasConceptScore W1982962901C11413529 @default.
• W1982962901 hasConceptScore W1982962901C115624301 @default.
• W1982962901 hasConceptScore W1982962901C121332964 @default.
• W1982962901 hasConceptScore W1982962901C136119220 @default.
• W1982962901 hasConceptScore W1982962901C138958017 @default.
• W1982962901 hasConceptScore W1982962901C140146324 @default.
• W1982962901 hasConceptScore W1982962901C165801399 @default.
• W1982962901 hasConceptScore W1982962901C172385210 @default.
• W1982962901 hasConceptScore W1982962901C185592680 @default.
• W1982962901 hasConceptScore W1982962901C18903297 @default.
• W1982962901 hasConceptScore W1982962901C19689857 @default.
• W1982962901 hasConceptScore W1982962901C199360897 @default.
• W1982962901 hasConceptScore W1982962901C202444582 @default.
• W1982962901 hasConceptScore W1982962901C203436722 @default.
• W1982962901 hasConceptScore W1982962901C25016198 @default.
• W1982962901 hasConceptScore W1982962901C2777299769 @default.
• W1982962901 hasConceptScore W1982962901C2777796570 @default.
• W1982962901 hasConceptScore W1982962901C33923547 @default.
• W1982962901 hasConceptScore W1982962901C41008148 @default.
• W1982962901 hasConceptScore W1982962901C62520636 @default.
• W1982962901 hasConceptScore W1982962901C79678938 @default.
• W1982962901 hasConceptScore W1982962901C8010536 @default.
• W1982962901 hasConceptScore W1982962901C80444323 @default.
• W1982962901 hasConceptScore W1982962901C86803240 @default.
• W1982962901 hasIssue "2" @default.
• W1982962901 hasLocation W19829629011 @default.
• W1982962901 hasOpenAccess W1982962901 @default.
• W1982962901 hasPrimaryLocation W19829629011 @default.
• W1982962901 hasRelatedWork W1542943188 @default.
• W1982962901 hasRelatedWork W1552552179 @default.
• W1982962901 hasRelatedWork W1912165540 @default.
• W1982962901 hasRelatedWork W1982962901 @default.
• W1982962901 hasRelatedWork W2104057616 @default.
• W1982962901 hasRelatedWork W2138292056 @default.
• W1982962901 hasRelatedWork W2151540855 @default.
• W1982962901 hasRelatedWork W2370473913 @default.
• W1982962901 hasRelatedWork W2621198849 @default.
• W1982962901 hasRelatedWork W4285126692 @default.
• W1982962901 hasVolume "173" @default.
• W1982962901 isParatext "false" @default.

• next