tm: document/root.bib@a7ec585d7f20 (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
9 965df91a24bc more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 8 diff changeset	40	@book{Boolos87,
965df91a24bc more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 8 diff changeset	41	author = {G.~Boolos and R.~C.~Jeffrey},
965df91a24bc more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 8 diff changeset	42	title = {{C}omputability and {L}ogic (2.~ed.)},
965df91a24bc more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 8 diff changeset	43	publisher = {Cambridge University Press},
965df91a24bc more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 8 diff changeset	44	year = {1987}
13 a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	45	}
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	46
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	47	@inproceedings{WuZhangUrban11,
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	48	author = {C.~Wu and X.~Zhang and C.~Urban},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	49	title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	50	({P}roof {P}earl)},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	51	booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	52	year = {2011},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	53	pages = {341--356},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	54	series = {LNCS},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	55	volume = {6898}
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	56	}

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Fri, 04 Jan 2013 22:49:02 +0000 (2013-01-04)
changeset 13	a7ec585d7f20
parent 9	965df91a24bc
child 15	90bc8cccc218
permissions	-rw-r--r--