7
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
@article{UrbanCheneyBerghofer11,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
author = {C.~Urban and J.~Cheney and S.~Berghofer},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
title = {{M}echanizing the {M}etatheory of {LF}},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
journal = {ACM Transactions on Computational Logic},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
volume = {12},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
issue = {2},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
year = {2011},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
pages = {15:1--15:42}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
}
|
8
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
10 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
11 |
@inproceedings{Norrish11,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
12 |
author = {M.~Norrish},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
13 |
title = {{M}echanised {C}omputability {T}heory},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
14 |
booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving (ITP)},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
15 |
year = {2011},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
16 |
series = {LNCS},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
17 |
volume = {6898},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
18 |
pages = {297--311}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
19 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
20 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
21 |
@inproceedings{AspertiRicciotti12,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
22 |
author = {A.~Asperti and W.~Ricciotti},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
23 |
title = {{F}ormalizing {T}uring {M}achines},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
24 |
booktitle = {Proc.~of the 19th International Workshop on Logic, Language,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
25 |
Information and Computation (WoLLIC)},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
26 |
year = {2012},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
27 |
pages = {1-25},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
28 |
series = {LNCS},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
29 |
volume = {7456}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
30 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
31 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
32 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
33 |
@Unpublished{WuZhangUrban12,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
34 |
author = {C.~Wu and X.~Zhang and C.~Urban},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
35 |
title = {???},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
36 |
note = {Submitted},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
37 |
year = {2012}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
38 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
39 |
|
9
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
40 |
@book{Boolos87,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
41 |
author = {G.~Boolos and R.~C.~Jeffrey},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
42 |
title = {{C}omputability and {L}ogic (2.~ed.)},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
43 |
publisher = {Cambridge University Press},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
44 |
year = {1987}
|
13
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
45 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
46 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
47 |
@inproceedings{WuZhangUrban11,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
48 |
author = {C.~Wu and X.~Zhang and C.~Urban},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
49 |
title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
50 |
({P}roof {P}earl)},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
51 |
booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
52 |
year = {2011},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
53 |
pages = {341--356},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
54 |
series = {LNCS},
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
55 |
volume = {6898}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
56 |
}
|