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/automatentheorie.bibtex | |
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/automatentheorie.bibtex')
-rw-r--r-- | literature/automatentheorie.bibtex | 6 |
1 files changed, 6 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 | } | ||