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
wenzelm@58623
     1
@book{card-book,
wenzelm@58623
     2
  title = {Introduction to {C}ardinal {A}rithmetic},
wenzelm@58623
     3
  author = {M. Holz and K. Steffens and E. Weitz},
wenzelm@58623
     4
  publisher = "Birkh{\"{a}}user",
wenzelm@58623
     5
  year = 1999,
wenzelm@58623
     6
}
wenzelm@58623
     7
wenzelm@58623
     8
@Book{davenport92,
wenzelm@58623
     9
  author =	 {H. Davenport},
wenzelm@58623
    10
  title = 	 {The Higher Arithmetic},
wenzelm@58623
    11
  publisher = 	 {Cambridge University Press},
wenzelm@58623
    12
  year = 	 1992
wenzelm@58623
    13
}
wenzelm@58623
    14
wenzelm@58623
    15
@InProceedings{paulin-tlca,
wenzelm@58623
    16
  author	= {Christine Paulin-Mohring},
wenzelm@58623
    17
  title		= {Inductive Definitions in the System {Coq}: Rules and
wenzelm@58623
    18
		 Properties},
wenzelm@58623
    19
  crossref	= {tlca93},
wenzelm@58623
    20
  pages		= {328-345}}
wenzelm@58623
    21
wenzelm@58623
    22
@Proceedings{tlca93,
wenzelm@58623
    23
  title		= {Typed Lambda Calculi and Applications},
wenzelm@58623
    24
  booktitle	= {Typed Lambda Calculi and Applications},
wenzelm@58623
    25
  editor	= {M. Bezem and J.F. Groote},
wenzelm@58623
    26
  year		= 1993,
wenzelm@58623
    27
  publisher	= {Springer},
wenzelm@58623
    28
  series	= {LNCS 664}}
nipkow@21312
    29
haftmann@27367
    30
@book{Birkhoff79,
haftmann@27367
    31
  author =      {Garret Birkhoff},
haftmann@27367
    32
  title =       {Lattice Theory},
haftmann@27367
    33
  publisher =   {American Mathematical Society},
haftmann@27367
    34
  year=1979
haftmann@27367
    35
}
haftmann@27367
    36
haftmann@27367
    37
@book{Nipkow-et-al:2002:tutorial,
haftmann@27367
    38
  author =      {T. Nipkow and L. C. Paulson and M. Wenzel},
haftmann@27367
    39
  title =       {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
haftmann@27367
    40
  series =      {LNCS},
haftmann@27367
    41
  volume =      2283,
haftmann@27367
    42
  year =        2002,
haftmann@27367
    43
  publisher =   {Springer-Verlag}
haftmann@27367
    44
}