equal
deleted
inserted
replaced
2 @Unpublished{Abrial-Laffitte, |
2 @Unpublished{Abrial-Laffitte, |
3 author = {Abrial and Laffitte}, |
3 author = {Abrial and Laffitte}, |
4 title = {Towards the Mechanization of the Proofs of |
4 title = {Towards the Mechanization of the Proofs of |
5 Some Classical Theorems of Set Theory}, |
5 Some Classical Theorems of Set Theory}, |
6 note = {Unpublished} |
6 note = {Unpublished} |
7 } |
|
8 |
|
9 @InProceedings{Avigad-Donnelly, |
|
10 author = {Jeremy Avigad and Kevin Donnelly}, |
|
11 title = {Formalizing {O} notation in {Isabelle/HOL}}, |
|
12 booktitle = {Automated Reasoning: second international conference, IJCAR 2004}, |
|
13 pages = {357--371}, |
|
14 year = 2004, |
|
15 editor = {David Basin and Micha\"el Rusiowitch}, |
|
16 publisher = {Springer} |
|
17 } |
7 } |
18 |
8 |
19 @Book{Oberschelp:1993, |
9 @Book{Oberschelp:1993, |
20 author = {Arnold Oberschelp}, |
10 author = {Arnold Oberschelp}, |
21 title = {Rekursionstheorie}, |
11 title = {Rekursionstheorie}, |