A verified algorithm enumerating event structures (Q2364684): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OEIS
@@ Property / describes a project that uses: OEIS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FinFuns
@@ Property / describes a project that uses: FinFuns / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2620363064
@@ Property / OpenAlex ID: W2620363064 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07228
@@ Property / arXiv ID: 1705.07228 / rank @@
+Normal rank
@@ Property / cites work @@
+The Transitive Reduction of a Directed Graph
@@ Property / cites work: The Transitive Reduction of a Directed Graph / rank @@
+Normal rank
@@ Property / cites work @@
+Finite labelling problem in event structures
@@ Property / cites work: Finite labelling problem in event structures / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Decomposing Interactions
@@ Property / cites work: Decomposing Interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics for Nominal Calculi
@@ Property / cites work: Event Structure Semantics for Nominal Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Proof of SCHUR Conjugate Function
@@ Property / cites work: Formal Proof of SCHUR Conjugate Function / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of AG-Groupoids
@@ Property / cites work: Enumeration of AG-Groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Analysis of Finite Idempotent Relations
+Normal rank
@@ Property / cites work @@
+Asymptotic Enumeration of Partial Orders on a Finite Set
+Normal rank
@@ Property / cites work @@
+Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q3024011
@@ Property / cites work: Q3024011 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2859380
@@ Property / cites work: Q2859380 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugacy classes in unitriangular matrices.
@@ Property / cites work: Conjugacy classes in unitriangular matrices. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2364684