FRINK Linked Data Fragments server

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

• W2890954795 abstract "We present a Gentzen-style sequent calculus for program verification which accomodates both model checking-like verification based on global state space exploration, and compositional reasoning. To handle the complexities arising from the presence of fixed-point formulas, programs with dynamically evolving architecture,and cut rules we use transition assertions, and introduce fixed-point approximants explicitly into the assertion language. We address, in a game-based manner, the semantical basis of this approach, as it applies to the entailment subproblem. Soundness and completeness results are obtained, and examples are shown illustrating some of the concepts." @default.
• W2890954795 created "2018-09-27" @default.
• W2890954795 creator A5023822955 @default.
• W2890954795 creator A5053650458 @default.
• W2890954795 date "2000-01-01" @default.
• W2890954795 modified "2023-09-23" @default.
• W2890954795 title "mu-Calculus with explicit points and approximations" @default.
• W2890954795 cites W1540321537 @default.
• W2890954795 cites W1553037777 @default.
• W2890954795 cites W1568844705 @default.
• W2890954795 cites W1568890041 @default.
• W2890954795 cites W1584322803 @default.
• W2890954795 cites W1868260891 @default.
• W2890954795 cites W1992582873 @default.
• W2890954795 cites W2015640848 @default.
• W2890954795 cites W2036996017 @default.
• W2890954795 cites W2063277731 @default.
• W2890954795 cites W2117183817 @default.
• W2890954795 cites W2169083900 @default.
• W2890954795 cites W2467982476 @default.
• W2890954795 cites W3161327596 @default.
• W2890954795 cites W2487816210 @default.
• W2890954795 hasPublicationYear "2000" @default.
• W2890954795 type Work @default.
• W2890954795 sameAs 2890954795 @default.
• W2890954795 citedByCount "2" @default.
• W2890954795 crossrefType "proceedings-article" @default.
• W2890954795 hasAuthorship W2890954795A5023822955 @default.
• W2890954795 hasAuthorship W2890954795A5053650458 @default.
• W2890954795 hasConcept C108710211 @default.
• W2890954795 hasConcept C111404639 @default.
• W2890954795 hasConcept C11413529 @default.
• W2890954795 hasConcept C134306372 @default.
• W2890954795 hasConcept C134752490 @default.
• W2890954795 hasConcept C136119220 @default.
• W2890954795 hasConcept C154945302 @default.
• W2890954795 hasConcept C17231256 @default.
• W2890954795 hasConcept C199343813 @default.
• W2890954795 hasConcept C199360897 @default.
• W2890954795 hasConcept C202444582 @default.
• W2890954795 hasConcept C2524010 @default.
• W2890954795 hasConcept C2777686260 @default.
• W2890954795 hasConcept C28719098 @default.
• W2890954795 hasConcept C33923547 @default.
• W2890954795 hasConcept C39920170 @default.
• W2890954795 hasConcept C40422974 @default.
• W2890954795 hasConcept C41008148 @default.
• W2890954795 hasConcept C61445026 @default.
• W2890954795 hasConcept C62073222 @default.
• W2890954795 hasConcept C6489637 @default.
• W2890954795 hasConcept C65880906 @default.
• W2890954795 hasConcept C71924100 @default.
• W2890954795 hasConcept C80444323 @default.
• W2890954795 hasConcept C89421646 @default.
• W2890954795 hasConceptScore W2890954795C108710211 @default.
• W2890954795 hasConceptScore W2890954795C111404639 @default.
• W2890954795 hasConceptScore W2890954795C11413529 @default.
• W2890954795 hasConceptScore W2890954795C134306372 @default.
• W2890954795 hasConceptScore W2890954795C134752490 @default.
• W2890954795 hasConceptScore W2890954795C136119220 @default.
• W2890954795 hasConceptScore W2890954795C154945302 @default.
• W2890954795 hasConceptScore W2890954795C17231256 @default.
• W2890954795 hasConceptScore W2890954795C199343813 @default.
• W2890954795 hasConceptScore W2890954795C199360897 @default.
• W2890954795 hasConceptScore W2890954795C202444582 @default.
• W2890954795 hasConceptScore W2890954795C2524010 @default.
• W2890954795 hasConceptScore W2890954795C2777686260 @default.
• W2890954795 hasConceptScore W2890954795C28719098 @default.
• W2890954795 hasConceptScore W2890954795C33923547 @default.
• W2890954795 hasConceptScore W2890954795C39920170 @default.
• W2890954795 hasConceptScore W2890954795C40422974 @default.
• W2890954795 hasConceptScore W2890954795C41008148 @default.
• W2890954795 hasConceptScore W2890954795C61445026 @default.
• W2890954795 hasConceptScore W2890954795C62073222 @default.
• W2890954795 hasConceptScore W2890954795C6489637 @default.
• W2890954795 hasConceptScore W2890954795C65880906 @default.
• W2890954795 hasConceptScore W2890954795C71924100 @default.
• W2890954795 hasConceptScore W2890954795C80444323 @default.
• W2890954795 hasConceptScore W2890954795C89421646 @default.
• W2890954795 hasLocation W28909547951 @default.
• W2890954795 hasOpenAccess W2890954795 @default.
• W2890954795 hasPrimaryLocation W28909547951 @default.
• W2890954795 hasRelatedWork W1487166760 @default.
• W2890954795 hasRelatedWork W1584179097 @default.
• W2890954795 hasRelatedWork W1595481004 @default.
• W2890954795 hasRelatedWork W1769163133 @default.
• W2890954795 hasRelatedWork W1777763691 @default.
• W2890954795 hasRelatedWork W1796743921 @default.
• W2890954795 hasRelatedWork W1850297979 @default.
• W2890954795 hasRelatedWork W1984439283 @default.
• W2890954795 hasRelatedWork W2079688484 @default.
• W2890954795 hasRelatedWork W2083858181 @default.
• W2890954795 hasRelatedWork W2138121155 @default.
• W2890954795 hasRelatedWork W2140317178 @default.
• W2890954795 hasRelatedWork W2905269011 @default.
• W2890954795 hasRelatedWork W3124244266 @default.
• W2890954795 hasRelatedWork W3175807317 @default.
• W2890954795 hasRelatedWork W596998252 @default.
• W2890954795 hasRelatedWork W622083538 @default.
• W2890954795 hasRelatedWork W801429566 @default.

• next