Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384130114> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4384130114 endingPage "42" @default.
- W4384130114 startingPage "22" @default.
- W4384130114 abstract "We present a first-order linear-time temporal logic for reasoning about the evolution of directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic to represent the creation, duplication, merging, and deletion of elements of a graph as well as how its topology changes over time. We then introduce a positive normal forms presentation, thus simplifying the actual process of verification. We provide the syntax and semantics of our logics with a computer-assisted formalisation using the proof assistant Agda, and we round up the paper by highlighting the crucial aspects of our formalisation and the practical use of quantified temporal logics in a constructive proof assistant." @default.
- W4384130114 created "2023-07-14" @default.
- W4384130114 creator A5060904359 @default.
- W4384130114 creator A5072444101 @default.
- W4384130114 creator A5074259281 @default.
- W4384130114 date "2023-01-01" @default.
- W4384130114 modified "2023-09-24" @default.
- W4384130114 title "Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation" @default.
- W4384130114 cites W1507479492 @default.
- W4384130114 cites W157956888 @default.
- W4384130114 cites W1585023794 @default.
- W4384130114 cites W1606555018 @default.
- W4384130114 cites W1606938409 @default.
- W4384130114 cites W1612453857 @default.
- W4384130114 cites W1836559177 @default.
- W4384130114 cites W1971428712 @default.
- W4384130114 cites W1982209843 @default.
- W4384130114 cites W1996895044 @default.
- W4384130114 cites W2028357390 @default.
- W4384130114 cites W2029632316 @default.
- W4384130114 cites W2118097562 @default.
- W4384130114 cites W2138324120 @default.
- W4384130114 cites W2157901438 @default.
- W4384130114 cites W2162492115 @default.
- W4384130114 cites W2279061002 @default.
- W4384130114 cites W23277219 @default.
- W4384130114 cites W2488488482 @default.
- W4384130114 cites W2518130435 @default.
- W4384130114 cites W2777036761 @default.
- W4384130114 cites W28656058 @default.
- W4384130114 cites W2898118103 @default.
- W4384130114 cites W2911594569 @default.
- W4384130114 cites W2933507570 @default.
- W4384130114 cites W2978390175 @default.
- W4384130114 cites W3021042532 @default.
- W4384130114 cites W3037345683 @default.
- W4384130114 cites W3108577037 @default.
- W4384130114 cites W3173413130 @default.
- W4384130114 cites W3178506813 @default.
- W4384130114 cites W3186180380 @default.
- W4384130114 cites W3206697535 @default.
- W4384130114 cites W3216746143 @default.
- W4384130114 cites W4296900292 @default.
- W4384130114 cites W4296927657 @default.
- W4384130114 cites W4298127348 @default.
- W4384130114 cites W759633442 @default.
- W4384130114 cites W93751600 @default.
- W4384130114 doi "https://doi.org/10.1007/978-3-031-36709-0_2" @default.
- W4384130114 hasPublicationYear "2023" @default.
- W4384130114 type Work @default.
- W4384130114 citedByCount "0" @default.
- W4384130114 crossrefType "book-chapter" @default.
- W4384130114 hasAuthorship W4384130114A5060904359 @default.
- W4384130114 hasAuthorship W4384130114A5072444101 @default.
- W4384130114 hasAuthorship W4384130114A5074259281 @default.
- W4384130114 hasConcept C114408938 @default.
- W4384130114 hasConcept C132525143 @default.
- W4384130114 hasConcept C154945302 @default.
- W4384130114 hasConcept C184337299 @default.
- W4384130114 hasConcept C199360897 @default.
- W4384130114 hasConcept C25016198 @default.
- W4384130114 hasConcept C2778701210 @default.
- W4384130114 hasConcept C41008148 @default.
- W4384130114 hasConcept C4777664 @default.
- W4384130114 hasConcept C558772884 @default.
- W4384130114 hasConcept C60048249 @default.
- W4384130114 hasConcept C80444323 @default.
- W4384130114 hasConcept C98045186 @default.
- W4384130114 hasConceptScore W4384130114C114408938 @default.
- W4384130114 hasConceptScore W4384130114C132525143 @default.
- W4384130114 hasConceptScore W4384130114C154945302 @default.
- W4384130114 hasConceptScore W4384130114C184337299 @default.
- W4384130114 hasConceptScore W4384130114C199360897 @default.
- W4384130114 hasConceptScore W4384130114C25016198 @default.
- W4384130114 hasConceptScore W4384130114C2778701210 @default.
- W4384130114 hasConceptScore W4384130114C41008148 @default.
- W4384130114 hasConceptScore W4384130114C4777664 @default.
- W4384130114 hasConceptScore W4384130114C558772884 @default.
- W4384130114 hasConceptScore W4384130114C60048249 @default.
- W4384130114 hasConceptScore W4384130114C80444323 @default.
- W4384130114 hasConceptScore W4384130114C98045186 @default.
- W4384130114 hasLocation W43841301141 @default.
- W4384130114 hasOpenAccess W4384130114 @default.
- W4384130114 hasPrimaryLocation W43841301141 @default.
- W4384130114 hasRelatedWork W12785170 @default.
- W4384130114 hasRelatedWork W1455362391 @default.
- W4384130114 hasRelatedWork W1483183540 @default.
- W4384130114 hasRelatedWork W1782526664 @default.
- W4384130114 hasRelatedWork W2140443934 @default.
- W4384130114 hasRelatedWork W2203405714 @default.
- W4384130114 hasRelatedWork W2514398768 @default.
- W4384130114 hasRelatedWork W2974904612 @default.
- W4384130114 hasRelatedWork W4246531319 @default.
- W4384130114 hasRelatedWork W4376864801 @default.
- W4384130114 isParatext "false" @default.
- W4384130114 isRetracted "false" @default.
- W4384130114 workType "book-chapter" @default.