src/HOL/document/root.bib
author haftmann
Fri Jun 19 07:53:35 2015 +0200 (2015-06-19)
changeset 60517 f16e4fb20652
parent 58623 2db1df2c8467
child 66893 ced164fe3bbd
permissions -rw-r--r--
separate class for notions specific for integral (semi)domains, in contrast to fields where these are trivial
     1 @book{card-book,
     2   title = {Introduction to {C}ardinal {A}rithmetic},
     3   author = {M. Holz and K. Steffens and E. Weitz},
     4   publisher = "Birkh{\"{a}}user",
     5   year = 1999,
     6 }
     7 
     8 @Book{davenport92,
     9   author =	 {H. Davenport},
    10   title = 	 {The Higher Arithmetic},
    11   publisher = 	 {Cambridge University Press},
    12   year = 	 1992
    13 }
    14 
    15 @InProceedings{paulin-tlca,
    16   author	= {Christine Paulin-Mohring},
    17   title		= {Inductive Definitions in the System {Coq}: Rules and
    18 		 Properties},
    19   crossref	= {tlca93},
    20   pages		= {328-345}}
    21 
    22 @Proceedings{tlca93,
    23   title		= {Typed Lambda Calculi and Applications},
    24   booktitle	= {Typed Lambda Calculi and Applications},
    25   editor	= {M. Bezem and J.F. Groote},
    26   year		= 1993,
    27   publisher	= {Springer},
    28   series	= {LNCS 664}}
    29 
    30 @book{Birkhoff79,
    31   author =      {Garret Birkhoff},
    32   title =       {Lattice Theory},
    33   publisher =   {American Mathematical Society},
    34   year=1979
    35 }
    36 
    37 @book{Nipkow-et-al:2002:tutorial,
    38   author =      {T. Nipkow and L. C. Paulson and M. Wenzel},
    39   title =       {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
    40   series =      {LNCS},
    41   volume =      2283,
    42   year =        2002,
    43   publisher =   {Springer-Verlag}
    44 }