FRINK Linked Data Fragments server

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

• W96249932 endingPage "329" @default.
• W96249932 startingPage "315" @default.
• W96249932 abstract "Dynamic logic is an established instrument for program verification and for reasoning about the semantics of programs and programming languages. In this paper, we define an extension of dynamic logic, called Dynamic Trace Logic (DTL), which combines the expressiveness of program logics such as dynamic logic with that of temporal logic. And we present a sound and relatively complete sequent calculus for proving validity of DTL formulae. Due to its expressiveness, DTL can serve as a basis for proving functional and information-flow properties in concurrent programs, among other applications." @default.
• W96249932 created "2016-06-24" @default.
• W96249932 creator A5003024686 @default.
• W96249932 creator A5087068314 @default.
• W96249932 date "2013-01-01" @default.
• W96249932 modified "2023-10-12" @default.
• W96249932 title "Dynamic Logic with Trace Semantics" @default.
• W96249932 cites W1483339275 @default.
• W96249932 cites W1524841331 @default.
• W96249932 cites W1975880855 @default.
• W96249932 cites W1998133185 @default.
• W96249932 cites W2038569232 @default.
• W96249932 cites W2057354456 @default.
• W96249932 cites W2118721394 @default.
• W96249932 cites W2125814171 @default.
• W96249932 cites W2165623482 @default.
• W96249932 cites W4205313167 @default.
• W96249932 cites W202022948 @default.
• W96249932 doi "https://doi.org/10.1007/978-3-642-38574-2_22" @default.
• W96249932 hasPublicationYear "2013" @default.
• W96249932 type Work @default.
• W96249932 sameAs 96249932 @default.
• W96249932 citedByCount "11" @default.
• W96249932 countsByYear W962499322014 @default.
• W96249932 countsByYear W962499322015 @default.
• W96249932 countsByYear W962499322018 @default.
• W96249932 countsByYear W962499322019 @default.
• W96249932 countsByYear W962499322020 @default.
• W96249932 countsByYear W962499322021 @default.
• W96249932 countsByYear W962499322023 @default.
• W96249932 crossrefType "book-chapter" @default.
• W96249932 hasAuthorship W96249932A5003024686 @default.
• W96249932 hasAuthorship W96249932A5087068314 @default.
• W96249932 hasBestOaLocation W962499322 @default.
• W96249932 hasConcept C102993220 @default.
• W96249932 hasConcept C108710211 @default.
• W96249932 hasConcept C11648818 @default.
• W96249932 hasConcept C121332964 @default.
• W96249932 hasConcept C128838566 @default.
• W96249932 hasConcept C138885662 @default.
• W96249932 hasConcept C162670838 @default.
• W96249932 hasConcept C165801399 @default.
• W96249932 hasConcept C169896238 @default.
• W96249932 hasConcept C172385210 @default.
• W96249932 hasConcept C184337299 @default.
• W96249932 hasConcept C199360897 @default.
• W96249932 hasConcept C203659156 @default.
• W96249932 hasConcept C25016198 @default.
• W96249932 hasConcept C2524010 @default.
• W96249932 hasConcept C2777796570 @default.
• W96249932 hasConcept C33923547 @default.
• W96249932 hasConcept C41008148 @default.
• W96249932 hasConcept C41895202 @default.
• W96249932 hasConcept C4777664 @default.
• W96249932 hasConcept C62520636 @default.
• W96249932 hasConcept C65880906 @default.
• W96249932 hasConcept C75291252 @default.
• W96249932 hasConcept C80444323 @default.
• W96249932 hasConcept C89421646 @default.
• W96249932 hasConceptScore W96249932C102993220 @default.
• W96249932 hasConceptScore W96249932C108710211 @default.
• W96249932 hasConceptScore W96249932C11648818 @default.
• W96249932 hasConceptScore W96249932C121332964 @default.
• W96249932 hasConceptScore W96249932C128838566 @default.
• W96249932 hasConceptScore W96249932C138885662 @default.
• W96249932 hasConceptScore W96249932C162670838 @default.
• W96249932 hasConceptScore W96249932C165801399 @default.
• W96249932 hasConceptScore W96249932C169896238 @default.
• W96249932 hasConceptScore W96249932C172385210 @default.
• W96249932 hasConceptScore W96249932C184337299 @default.
• W96249932 hasConceptScore W96249932C199360897 @default.
• W96249932 hasConceptScore W96249932C203659156 @default.
• W96249932 hasConceptScore W96249932C25016198 @default.
• W96249932 hasConceptScore W96249932C2524010 @default.
• W96249932 hasConceptScore W96249932C2777796570 @default.
• W96249932 hasConceptScore W96249932C33923547 @default.
• W96249932 hasConceptScore W96249932C41008148 @default.
• W96249932 hasConceptScore W96249932C41895202 @default.
• W96249932 hasConceptScore W96249932C4777664 @default.
• W96249932 hasConceptScore W96249932C62520636 @default.
• W96249932 hasConceptScore W96249932C65880906 @default.
• W96249932 hasConceptScore W96249932C75291252 @default.
• W96249932 hasConceptScore W96249932C80444323 @default.
• W96249932 hasConceptScore W96249932C89421646 @default.
• W96249932 hasLocation W962499321 @default.
• W96249932 hasLocation W962499322 @default.
• W96249932 hasOpenAccess W96249932 @default.
• W96249932 hasPrimaryLocation W962499321 @default.
• W96249932 hasRelatedWork W1981384792 @default.
• W96249932 hasRelatedWork W204539619 @default.
• W96249932 hasRelatedWork W2146914143 @default.
• W96249932 hasRelatedWork W2234817167 @default.
• W96249932 hasRelatedWork W2548795765 @default.
• W96249932 hasRelatedWork W2769200897 @default.
• W96249932 hasRelatedWork W34682815 @default.
• W96249932 hasRelatedWork W4232446061 @default.
• W96249932 hasRelatedWork W96249932 @default.
• W96249932 hasRelatedWork W2585210618 @default.

• next