isabelle: src/HOL/Library/document/root.bib@246985c6b20b (annotated)

14706 71590b7733b7 tuned document; wenzelm parents: 12811 diff changeset	1
22367 6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	2	@Unpublished{Abrial-Laffitte,
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	3	author = {Abrial and Laffitte},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	4	title = {Towards the Mechanization of the Proofs of
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	5	Some Classical Theorems of Set Theory},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	6	note = {Unpublished}
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	7	}
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	8
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	9	@InProceedings{Avigad-Donnelly,
17202 d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	10	author = {Jeremy Avigad and Kevin Donnelly},
d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	11	title = {Formalizing {O} notation in {Isabelle/HOL}},
d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	12	booktitle = {Automated Reasoning: second international conference, IJCAR 2004},
d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	13	pages = {357--371},
d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	14	year = 2004,
d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	15	editor = {David Basin and Micha\"el Rusiowitch},
d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	16	publisher = {Springer}
d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	17	}
d364e0fd9c2f added Avigad-Donnelly; wenzelm parents: 16763 diff changeset	18
14706 71590b7733b7 tuned document; wenzelm parents: 12811 diff changeset	19	@Book{Oberschelp:1993,
71590b7733b7 tuned document; wenzelm parents: 12811 diff changeset	20	author = {Arnold Oberschelp},
71590b7733b7 tuned document; wenzelm parents: 12811 diff changeset	21	title = {Rekursionstheorie},
71590b7733b7 tuned document; wenzelm parents: 12811 diff changeset	22	publisher = {BI-Wissenschafts-Verlag},
71590b7733b7 tuned document; wenzelm parents: 12811 diff changeset	23	year = 1993
71590b7733b7 tuned document; wenzelm parents: 12811 diff changeset	24	}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	25
22367 6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	26	@InProceedings{Podelski-Rybalchenko,
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	27	author = {Andreas Podelski and Andrey Rybalchenko},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	28	title = {Transition Invariants},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	29	booktitle = {19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	30	pages = {32--41},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	31	year = 2004
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	32	}
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	33
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	34	@Book{davenport92,
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	35	author = {H. Davenport},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	36	title = {The Higher Arithmetic},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	37	publisher = {Cambridge University Press},
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	38	year = 1992
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	39	}
6860f09242bf tuned document; wenzelm parents: 17202 diff changeset	40
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	41	@InProceedings{paulin-tlca,
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	42	author = {Christine Paulin-Mohring},
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	43	title = {Inductive Definitions in the System {Coq}: Rules and
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	44	Properties},
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	45	crossref = {tlca93},
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	46	pages = {328-345}}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	47
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	48	@Proceedings{tlca93,
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	49	title = {Typed Lambda Calculi and Applications},
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	50	booktitle = {Typed Lambda Calculi and Applications},
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	51	editor = {M. Bezem and J.F. Groote},
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	52	year = 1993,
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	53	publisher = {Springer},
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	54	series = {LNCS 664}}

author	blanchet
	Wed, 24 Sep 2014 15:45:55 +0200
changeset 58425	246985c6b20b
parent 37118	ccae4ecd67f4
child 68155	8b50f29a1992
permissions	-rw-r--r--