src/HOL/Library/document/root.bib
author haftmann
Wed Jul 18 20:51:21 2018 +0200 (12 months ago)
changeset 68658 16cc1161ad7f
parent 68155 8b50f29a1992
permissions -rw-r--r--
tuned equation
wenzelm@14706
     1
wenzelm@22367
     2
@Unpublished{Abrial-Laffitte,
wenzelm@22367
     3
  author = 	 {Abrial and Laffitte},
wenzelm@22367
     4
  title = 	 {Towards the Mechanization of the Proofs of
wenzelm@22367
     5
                  Some Classical Theorems of Set Theory},
wenzelm@22367
     6
  note = 	 {Unpublished}
wenzelm@22367
     7
}
wenzelm@22367
     8
wenzelm@22367
     9
@InProceedings{Avigad-Donnelly,
wenzelm@17202
    10
  author = 	 {Jeremy Avigad and Kevin Donnelly},
wenzelm@17202
    11
  title = 	 {Formalizing {O} notation in {Isabelle/HOL}},
wenzelm@17202
    12
  booktitle = 	 {Automated Reasoning: second international conference, IJCAR 2004},
wenzelm@17202
    13
  pages =	 {357--371},
wenzelm@17202
    14
  year =	 2004,
wenzelm@17202
    15
  editor =	 {David Basin and Micha\"el Rusiowitch},
wenzelm@17202
    16
  publisher =	 {Springer}
wenzelm@17202
    17
}
wenzelm@17202
    18
wenzelm@14706
    19
@Book{Oberschelp:1993,
wenzelm@14706
    20
  author =	 {Arnold Oberschelp},
wenzelm@14706
    21
  title = 	 {Rekursionstheorie},
wenzelm@14706
    22
  publisher = 	 {BI-Wissenschafts-Verlag},
wenzelm@14706
    23
  year = 	 1993
wenzelm@14706
    24
}
wenzelm@12811
    25
wenzelm@22367
    26
@InProceedings{Podelski-Rybalchenko,
wenzelm@22367
    27
  author = 	 {Andreas Podelski and Andrey Rybalchenko},
wenzelm@22367
    28
  title = 	 {Transition Invariants},
wenzelm@22367
    29
  booktitle = 	 {19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)},
wenzelm@22367
    30
  pages =	 {32--41},
wenzelm@22367
    31
  year =	 2004
wenzelm@22367
    32
}
wenzelm@22367
    33
wenzelm@22367
    34
@Book{davenport92,
wenzelm@22367
    35
  author =	 {H. Davenport},
wenzelm@22367
    36
  title = 	 {The Higher Arithmetic},
wenzelm@22367
    37
  publisher = 	 {Cambridge University Press},
wenzelm@22367
    38
  year = 	 1992
wenzelm@22367
    39
}
wenzelm@22367
    40
wenzelm@12811
    41
@InProceedings{paulin-tlca,
wenzelm@12811
    42
  author	= {Christine Paulin-Mohring},
wenzelm@12811
    43
  title		= {Inductive Definitions in the System {Coq}: Rules and
wenzelm@12811
    44
		 Properties},
wenzelm@12811
    45
  crossref	= {tlca93},
wenzelm@12811
    46
  pages		= {328-345}}
wenzelm@12811
    47
wenzelm@12811
    48
@Proceedings{tlca93,
wenzelm@12811
    49
  title		= {Typed Lambda Calculi and Applications},
wenzelm@12811
    50
  booktitle	= {Typed Lambda Calculi and Applications},
wenzelm@12811
    51
  editor	= {M. Bezem and J.F. Groote},
wenzelm@12811
    52
  year		= 1993,
wenzelm@12811
    53
  publisher	= {Springer},
wenzelm@12811
    54
  series	= {LNCS 664}}
Andreas@68155
    55
Andreas@68155
    56
@InProceedings{LochbihlerStoop2018,
Andreas@68155
    57
  author = {Andreas Lochbihler and Pascal Stoop},
Andreas@68155
    58
  title = {Lazy Algebraic Types in {Isabelle/HOL}},
Andreas@68155
    59
  booktitle = {Isabelle Workshop 2018},
Andreas@68155
    60
  year = 2018,
Andreas@68155
    61
}