tm: document/root.bib@d3400d212091 (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,
15 90bc8cccc218 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 13 diff changeset	41	author = {G.~Boolos and J.~P.~Burgess and R.~C.~Jeffrey},
90bc8cccc218 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 13 diff changeset	42	title = {{C}omputability and {L}ogic (5th~ed.)},
9 965df91a24bc more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 8 diff changeset	43	publisher = {Cambridge University Press},
15 90bc8cccc218 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 13 diff changeset	44	year = {2007}
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	}
17 66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	57
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	58
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	59	@Article{Post36,
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	60	author = {E.~Post},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	61	title = {{F}inite {C}ombinatory {P}rocesses-{F}ormulation 1},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	62	journal = {Journal of Symbolic Logic},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	63	year = {1936},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	64	volume = {1},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	65	number = {3},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	66	pages = {103--105}
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	67	}
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	68

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Thu, 10 Jan 2013 11:28:26 +0000
changeset 26	d3400d212091
parent 17	66cebc19ef18
permissions	-rw-r--r--