commit 3fedfb5062e135bde8115ee78d9e0bffdde2f24a
parent 080dbcfffa0aab9f6d52fe49064b7ba5993ae41b
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Fri, 17 Jan 2025 15:08:56 +0100
commit with codex
Diffstat:
3 files changed, 13 insertions(+), 2 deletions(-)
diff --git a/annotation_transducer b/annotation_transducer
@@ -1,9 +1,9 @@
# Annotation transducer
formalism of [automata]
-- called "annotated automata] in [munoz2023constant]
+- called "annotated automata" in [munoz2023constant]
- used in [gawrychowski2024revisiting]
Up: [spanner]
-See also: [spanner_transducer]
+See also: [spanner_transducer], [annotated_relations]
diff --git a/green2007provenance b/green2007provenance
@@ -3,3 +3,5 @@
[provenance] for [conjunctive_query] and [union_of_conjunctive_queries] and [datalog] ([provenance_datalog], using [derivation_tree]) via [semiring] and [formal_series]
Up: [academic_paper] on [provenance]
+
+See also: [provenance_semirings]
diff --git a/st_reliability b/st_reliability
@@ -0,0 +1,9 @@
+# st-reliability
+
+The case of [network_reliability] with a fixed source and target
+
+Can be posed on [directed_graphs] and [undirected_graphs]
+
+[st_reliability_approximation]
+
+Up: [network_reliability]
