equal
deleted
inserted
replaced
|
1 @book{nipk:rew-all-that, |
|
2 title={Term rewriting and all that}, |
|
3 author={Baader, Franz and Nipkow, Tobias }, |
|
4 publisher={Cambridge University Press},year={1998}, |
|
5 volume={},series={},address={},edition={},month={}, |
|
6 note={},status={},source={},location={IST} |
|
7 } |
|
8 |
1 @Misc{jrocnik-bakk, |
9 @Misc{jrocnik-bakk, |
2 author = {Jan Rocnik}, |
10 author = {Jan Rocnik}, |
3 title = {Interactive Course Material for Signal Processing based on Isabelle/{\isac}}, |
11 title = {Interactive Course Material for Signal Processing based on Isabelle/{\isac}}, |
4 howpublished = {Bakkalaureate Thesis}, |
12 howpublished = {Bakkalaureate Thesis}, |
5 year = {2012}, |
13 year = {2012}, |