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
     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}}
    55 
    56 @InProceedings{LochbihlerStoop2018,
    57   author = {Andreas Lochbihler and Pascal Stoop},
    58   title = {Lazy Algebraic Types in {Isabelle/HOL}},
    59   booktitle = {Isabelle Workshop 2018},
    60   year = 2018,
    61 }