src/HOL/Library/document/root.bib
author wenzelm
Wed, 08 Mar 2017 10:50:59 +0100
changeset 65151 a7394aa4d21c
parent 37118 ccae4ecd67f4
child 68155 8b50f29a1992
permissions -rw-r--r--
tuned proofs;


@Unpublished{Abrial-Laffitte,
  author = 	 {Abrial and Laffitte},
  title = 	 {Towards the Mechanization of the Proofs of
                  Some Classical Theorems of Set Theory},
  note = 	 {Unpublished}
}

@InProceedings{Avigad-Donnelly,
  author = 	 {Jeremy Avigad and Kevin Donnelly},
  title = 	 {Formalizing {O} notation in {Isabelle/HOL}},
  booktitle = 	 {Automated Reasoning: second international conference, IJCAR 2004},
  pages =	 {357--371},
  year =	 2004,
  editor =	 {David Basin and Micha\"el Rusiowitch},
  publisher =	 {Springer}
}

@Book{Oberschelp:1993,
  author =	 {Arnold Oberschelp},
  title = 	 {Rekursionstheorie},
  publisher = 	 {BI-Wissenschafts-Verlag},
  year = 	 1993
}

@InProceedings{Podelski-Rybalchenko,
  author = 	 {Andreas Podelski and Andrey Rybalchenko},
  title = 	 {Transition Invariants},
  booktitle = 	 {19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)},
  pages =	 {32--41},
  year =	 2004
}

@Book{davenport92,
  author =	 {H. Davenport},
  title = 	 {The Higher Arithmetic},
  publisher = 	 {Cambridge University Press},
  year = 	 1992
}

@InProceedings{paulin-tlca,
  author	= {Christine Paulin-Mohring},
  title		= {Inductive Definitions in the System {Coq}: Rules and
		 Properties},
  crossref	= {tlca93},
  pages		= {328-345}}

@Proceedings{tlca93,
  title		= {Typed Lambda Calculi and Applications},
  booktitle	= {Typed Lambda Calculi and Applications},
  editor	= {M. Bezem and J.F. Groote},
  year		= 1993,
  publisher	= {Springer},
  series	= {LNCS 664}}