Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955371432> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2955371432 abstract "An event structure is a mathematical abstraction modeling concepts as causality, conflict and concurrency between events. While many other mathematical structures, including groups, topological spaces, rings, abound with algorithms and formulas to generate, enumerate and count particular sets of their members, no algorithm or formulas are known to generate or count all the possible event structures over a finite set of events. We present an algorithm to generate such a family, along with a functional implementation verified using Isabelle/HOL. As byproducts, we obtain a verified enumeration of all possible preorders and partial orders. While the integer sequences counting preorders and partial orders are already listed on OEIS (On-line Encyclopedia of Integer Sequences), the one counting event structures is not. We therefore used our algorithm to submit a formally verified addition, which has been successfully reviewed and is now part of the OEIS." @default.
- W2955371432 created "2019-07-12" @default.
- W2955371432 creator A5004629504 @default.
- W2955371432 creator A5013198849 @default.
- W2955371432 date "2017-05-20" @default.
- W2955371432 modified "2023-09-27" @default.
- W2955371432 title "A Verified Algorithm Enumerating Event Structures" @default.
- W2955371432 cites W1591386603 @default.
- W2955371432 cites W1614792014 @default.
- W2955371432 cites W1871548459 @default.
- W2955371432 cites W1970326465 @default.
- W2955371432 cites W2044883442 @default.
- W2955371432 cites W2110920860 @default.
- W2955371432 cites W2173961470 @default.
- W2955371432 cites W2890439620 @default.
- W2955371432 cites W2913280239 @default.
- W2955371432 cites W2952513609 @default.
- W2955371432 cites W71334836 @default.
- W2955371432 cites W2528673780 @default.
- W2955371432 hasPublicationYear "2017" @default.
- W2955371432 type Work @default.
- W2955371432 sameAs 2955371432 @default.
- W2955371432 citedByCount "1" @default.
- W2955371432 countsByYear W29553714322020 @default.
- W2955371432 crossrefType "posted-content" @default.
- W2955371432 hasAuthorship W2955371432A5004629504 @default.
- W2955371432 hasAuthorship W2955371432A5013198849 @default.
- W2955371432 hasConcept C105795698 @default.
- W2955371432 hasConcept C11413529 @default.
- W2955371432 hasConcept C118615104 @default.
- W2955371432 hasConcept C121332964 @default.
- W2955371432 hasConcept C156340839 @default.
- W2955371432 hasConcept C17435882 @default.
- W2955371432 hasConcept C177264268 @default.
- W2955371432 hasConcept C180645754 @default.
- W2955371432 hasConcept C193702766 @default.
- W2955371432 hasConcept C199360897 @default.
- W2955371432 hasConcept C2777810175 @default.
- W2955371432 hasConcept C2779662365 @default.
- W2955371432 hasConcept C33923547 @default.
- W2955371432 hasConcept C41008148 @default.
- W2955371432 hasConcept C62520636 @default.
- W2955371432 hasConcept C80444323 @default.
- W2955371432 hasConcept C97137487 @default.
- W2955371432 hasConceptScore W2955371432C105795698 @default.
- W2955371432 hasConceptScore W2955371432C11413529 @default.
- W2955371432 hasConceptScore W2955371432C118615104 @default.
- W2955371432 hasConceptScore W2955371432C121332964 @default.
- W2955371432 hasConceptScore W2955371432C156340839 @default.
- W2955371432 hasConceptScore W2955371432C17435882 @default.
- W2955371432 hasConceptScore W2955371432C177264268 @default.
- W2955371432 hasConceptScore W2955371432C180645754 @default.
- W2955371432 hasConceptScore W2955371432C193702766 @default.
- W2955371432 hasConceptScore W2955371432C199360897 @default.
- W2955371432 hasConceptScore W2955371432C2777810175 @default.
- W2955371432 hasConceptScore W2955371432C2779662365 @default.
- W2955371432 hasConceptScore W2955371432C33923547 @default.
- W2955371432 hasConceptScore W2955371432C41008148 @default.
- W2955371432 hasConceptScore W2955371432C62520636 @default.
- W2955371432 hasConceptScore W2955371432C80444323 @default.
- W2955371432 hasConceptScore W2955371432C97137487 @default.
- W2955371432 hasLocation W29553714321 @default.
- W2955371432 hasOpenAccess W2955371432 @default.
- W2955371432 hasPrimaryLocation W29553714321 @default.
- W2955371432 hasRelatedWork W1528441743 @default.
- W2955371432 hasRelatedWork W1578804651 @default.
- W2955371432 hasRelatedWork W1734119196 @default.
- W2955371432 hasRelatedWork W1983196506 @default.
- W2955371432 hasRelatedWork W2029534227 @default.
- W2955371432 hasRelatedWork W2068318525 @default.
- W2955371432 hasRelatedWork W2076137686 @default.
- W2955371432 hasRelatedWork W2102913701 @default.
- W2955371432 hasRelatedWork W2154811764 @default.
- W2955371432 hasRelatedWork W2187260976 @default.
- W2955371432 hasRelatedWork W2240520130 @default.
- W2955371432 hasRelatedWork W2586666171 @default.
- W2955371432 hasRelatedWork W2802771107 @default.
- W2955371432 hasRelatedWork W2926435172 @default.
- W2955371432 hasRelatedWork W2963506294 @default.
- W2955371432 hasRelatedWork W2992227070 @default.
- W2955371432 hasRelatedWork W3039470177 @default.
- W2955371432 hasRelatedWork W3113078461 @default.
- W2955371432 hasRelatedWork W3137545899 @default.
- W2955371432 hasRelatedWork W3192463219 @default.
- W2955371432 isParatext "false" @default.
- W2955371432 isRetracted "false" @default.
- W2955371432 magId "2955371432" @default.
- W2955371432 workType "article" @default.