tm: document/root.bib@c216ae455c90 (annotated)

7 f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	@article{UrbanCheneyBerghofer11,
f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	author = {C.~Urban and J.~Cheney and S.~Berghofer},
f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	title = {{M}echanizing the {M}etatheory of {LF}},
f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	journal = {ACM Transactions on Computational Logic},
f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	volume = {12},
f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	issue = {2},
f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	year = {2011},
f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	pages = {15:1--15:42}
f7896d90aa19 more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	}
8 c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	10
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	11	@inproceedings{Norrish11,
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	12	author = {M.~Norrish},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	13	title = {{M}echanised {C}omputability {T}heory},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	14	booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving (ITP)},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	15	year = {2011},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	16	series = {LNCS},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	17	volume = {6898},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	18	pages = {297--311}
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	19	}
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	20
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	21	@inproceedings{AspertiRicciotti12,
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	22	author = {A.~Asperti and W.~Ricciotti},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	23	title = {{F}ormalizing {T}uring {M}achines},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	24	booktitle = {Proc.~of the 19th International Workshop on Logic, Language,
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	25	Information and Computation (WoLLIC)},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	26	year = {2012},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	27	pages = {1-25},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	28	series = {LNCS},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	29	volume = {7456}
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	30	}
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	31
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	32
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	33	@Unpublished{WuZhangUrban12,
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	34	author = {C.~Wu and X.~Zhang and C.~Urban},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	35	title = {???},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	36	note = {Submitted},
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	37	year = {2012}
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	38	}
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	39

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Sun, 30 Dec 2012 21:18:39 +0000
changeset 8	c216ae455c90
parent 7	f7896d90aa19
child 9	965df91a24bc
permissions	-rw-r--r--