diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-05-30 12:18:08 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-05-30 12:18:08 +0200 |
| commit | f4c419b9ddec15bad267a4463f0720d6e28042d2 (patch) | |
| tree | 54a0259116476150247619c4410eae33f8669314 /literature | |
| parent | 8afbe1f7df24034dd16fdf2e89b0665b2318ae2a (diff) | |
| download | incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.gz incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.bz2 incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.xz incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.zip | |
Further work
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 | ||