tm: Paper/document/root.bib@0838b0ac52ab (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
50 816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	69	@article{Dijkstra68,
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	70	author = {E.~W.~Dijkstra},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	71	title = {{G}o to {S}tatement {C}onsidered {H}armful},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	72	journal = {Communications of the ACM},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	73	volume = {11},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	74	number = {3},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	75	year = {1968},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	76	pages = {147-148}
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	77	}

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Sat, 19 Jan 2013 15:27:21 +0000
changeset 56	0838b0ac52ab
parent 50	816e84ca16d6
child 80	eb589fa73fc1
permissions	-rw-r--r--