summaryrefslogtreecommitdiff
path: root/literature
diff options
context:
space:
mode:
Diffstat (limited to 'literature')
-rw-r--r--literature/automatentheorie.bibtex6
-rw-r--r--literature/composition-tree.bibtex7
2 files changed, 13 insertions, 0 deletions
diff --git a/literature/automatentheorie.bibtex b/literature/automatentheorie.bibtex
new file mode 100644
index 0000000..1b853a5
--- /dev/null
+++ b/literature/automatentheorie.bibtex
@@ -0,0 +1,6 @@
1@book{hofmann2011automatentheorie,
2 title={Automatentheorie und Logik},
3 author={Hofmann, Martin and Lange, Martin},
4 year={2011},
5 publisher={Springer-Verlag}
6}
diff --git a/literature/composition-tree.bibtex b/literature/composition-tree.bibtex
new file mode 100644
index 0000000..c9365d3
--- /dev/null
+++ b/literature/composition-tree.bibtex
@@ -0,0 +1,7 @@
1@manual{composition-tree,
2 title={Composition trees for arbitrary monoids},
3 author={Liam O'Connor},
4 month={7},
5 year={2015},
6 url={https://hackage.haskell.org/package/composition-tree}
7} \ No newline at end of file