diff options
Diffstat (limited to 'literature')
| -rw-r--r-- | literature/automatentheorie.bibtex | 6 | ||||
| -rw-r--r-- | literature/composition-tree.bibtex | 7 |
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 | ||
