From f4c419b9ddec15bad267a4463f0720d6e28042d2 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Thu, 30 May 2019 12:18:08 +0200 Subject: Further work --- literature/automatentheorie.bibtex | 6 ++++++ literature/composition-tree.bibtex | 7 +++++++ 2 files changed, 13 insertions(+) create mode 100644 literature/automatentheorie.bibtex create mode 100644 literature/composition-tree.bibtex (limited to 'literature') 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 @@ +@book{hofmann2011automatentheorie, + title={Automatentheorie und Logik}, + author={Hofmann, Martin and Lange, Martin}, + year={2011}, + publisher={Springer-Verlag} +} 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 @@ +@manual{composition-tree, + title={Composition trees for arbitrary monoids}, + author={Liam O'Connor}, + month={7}, + year={2015}, + url={https://hackage.haskell.org/package/composition-tree} +} \ No newline at end of file -- cgit v1.2.3