|
1 |
|
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, |
|
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 } |
|
18 |
|
19 @Book{Oberschelp:1993, |
|
20 author = {Arnold Oberschelp}, |
|
21 title = {Rekursionstheorie}, |
|
22 publisher = {BI-Wissenschafts-Verlag}, |
|
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 |
|
39 } |
|
40 |
|
41 @InProceedings{paulin-tlca, |
|
42 author = {Christine Paulin-Mohring}, |
|
43 title = {Inductive Definitions in the System {Coq}: Rules and |
|
44 Properties}, |
|
45 crossref = {tlca93}, |
|
46 pages = {328-345}} |
|
47 |
|
48 @Proceedings{tlca93, |
|
49 title = {Typed Lambda Calculi and Applications}, |
|
50 booktitle = {Typed Lambda Calculi and Applications}, |
|
51 editor = {M. Bezem and J.F. Groote}, |
|
52 year = 1993, |
|
53 publisher = {Springer}, |
|
54 series = {LNCS 664}} |