1 |
1 |
2 @InProceedings{Avigad-Donnelly, |
2 @Unpublished{Abrial-Laffitte, |
|
3 author = {Abrial and Laffitte}, |
|
4 title = {Towards the Mechanization of the Proofs of |
|
5 Some Classical Theorems of Set Theory}, |
|
6 note = {Unpublished} |
|
7 } |
|
8 |
|
9 @InProceedings{Avigad-Donnelly, |
3 author = {Jeremy Avigad and Kevin Donnelly}, |
10 author = {Jeremy Avigad and Kevin Donnelly}, |
4 title = {Formalizing {O} notation in {Isabelle/HOL}}, |
11 title = {Formalizing {O} notation in {Isabelle/HOL}}, |
5 booktitle = {Automated Reasoning: second international conference, IJCAR 2004}, |
12 booktitle = {Automated Reasoning: second international conference, IJCAR 2004}, |
6 pages = {357--371}, |
13 pages = {357--371}, |
7 year = 2004, |
14 year = 2004, |
8 editor = {David Basin and Micha\"el Rusiowitch}, |
15 editor = {David Basin and Micha\"el Rusiowitch}, |
9 publisher = {Springer} |
16 publisher = {Springer} |
10 } |
17 } |
11 |
18 |
12 @Unpublished{Abrial-Laffitte, |
|
13 author = {Abrial and Laffitte}, |
|
14 title = {Towards the Mechanization of the Proofs of |
|
15 Some Classical Theorems of Set Theory}, |
|
16 note = {Unpublished} |
|
17 } |
|
18 |
|
19 @Book{Oberschelp:1993, |
19 @Book{Oberschelp:1993, |
20 author = {Arnold Oberschelp}, |
20 author = {Arnold Oberschelp}, |
21 title = {Rekursionstheorie}, |
21 title = {Rekursionstheorie}, |
22 publisher = {BI-Wissenschafts-Verlag}, |
22 publisher = {BI-Wissenschafts-Verlag}, |
23 year = 1993 |
23 year = 1993 |
|
24 } |
|
25 |
|
26 @InProceedings{Podelski-Rybalchenko, |
|
27 author = {Andreas Podelski and Andrey Rybalchenko}, |
|
28 title = {Transition Invariants}, |
|
29 booktitle = {19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)}, |
|
30 pages = {32--41}, |
|
31 year = 2004 |
|
32 } |
|
33 |
|
34 @Book{davenport92, |
|
35 author = {H. Davenport}, |
|
36 title = {The Higher Arithmetic}, |
|
37 publisher = {Cambridge University Press}, |
|
38 year = 1992 |
24 } |
39 } |
25 |
40 |
26 @InProceedings{paulin-tlca, |
41 @InProceedings{paulin-tlca, |
27 author = {Christine Paulin-Mohring}, |
42 author = {Christine Paulin-Mohring}, |
28 title = {Inductive Definitions in the System {Coq}: Rules and |
43 title = {Inductive Definitions in the System {Coq}: Rules and |