summaryrefslogtreecommitdiff
path: root/literature/automatentheorie.bibtex
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2019-05-30 12:18:08 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2019-05-30 12:18:08 +0200
commitf4c419b9ddec15bad267a4463f0720d6e28042d2 (patch)
tree54a0259116476150247619c4410eae33f8669314 /literature/automatentheorie.bibtex
parent8afbe1f7df24034dd16fdf2e89b0665b2318ae2a (diff)
downloadincremental-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.bibtex6
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}