tm: Paper/document/root.bib@2cae8a39803e (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},
104 01f688735b9b updated paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 80 diff changeset	35	title = {{A} {F}ormal {M}odel and {C}orrectness {P}roof for an
01f688735b9b updated paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 80 diff changeset	36	{A}ccess {C}ontrol {P}olicy {F}ramework},
8 c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	37	note = {Submitted},
104 01f688735b9b updated paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 80 diff changeset	38	year = {2013}
8 c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	39	}
c216ae455c90 more on the paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	40
9 965df91a24bc more Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 8 diff changeset	41	@book{Boolos87,
15 90bc8cccc218 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 13 diff changeset	42	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	43	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	44	publisher = {Cambridge University Press},
15 90bc8cccc218 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 13 diff changeset	45	year = {2007}
13 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
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	48	@inproceedings{WuZhangUrban11,
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	49	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	50	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	51	({P}roof {P}earl)},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	52	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	53	year = {2011},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	54	pages = {341--356},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	55	series = {LNCS},
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	56	volume = {6898}
a7ec585d7f20 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	57	}
17 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
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	60	@Article{Post36,
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	61	author = {E.~Post},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	62	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	63	journal = {Journal of Symbolic Logic},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	64	year = {1936},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	65	volume = {1},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	66	number = {3},
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	67	pages = {103--105}
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	68	}
66cebc19ef18 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	69
50 816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	70	@article{Dijkstra68,
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	71	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	72	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	73	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	74	volume = {11},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	75	number = {3},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	76	year = {1968},
816e84ca16d6 updated turing_basic by Jian Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 48 diff changeset	77	pages = {147-148}
80 eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	78	}
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	79
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	80
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	81
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	82	@Book{Berger66,
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	83	author = {R.~Berger},
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	84	title = {{T}he {U}ndecidability of the {D}omino {P}roblem},
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	85	journal = {Memoirs of the American Mathematical Society},
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	86	year = {1966}
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	87	}
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	88
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	89
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	90	@Article{Robinson71,
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	91	author = {R.~M.~Robinson},
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	92	title = {{U}ndecidability and {N}onperiodicity for {T}ilings of the {P}lane},
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	93	journal = {Inventiones Mathematicae},
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	94	year = {1971},
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	95	volume = {12},
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	96	pages = {177--209}
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	97	}
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	98
eb589fa73fc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 50 diff changeset	99

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Fri, 01 Feb 2013 01:34:37 +0000
changeset 105	2cae8a39803e
parent 104	01f688735b9b
child 114	120091653998
permissions	-rw-r--r--