equal
deleted
inserted
replaced
36 note = {Submitted}, |
36 note = {Submitted}, |
37 year = {2012} |
37 year = {2012} |
38 } |
38 } |
39 |
39 |
40 @book{Boolos87, |
40 @book{Boolos87, |
41 author = {G.~Boolos and R.~C.~Jeffrey}, |
41 author = {G.~Boolos and J.~P.~Burgess and R.~C.~Jeffrey}, |
42 title = {{C}omputability and {L}ogic (2.~ed.)}, |
42 title = {{C}omputability and {L}ogic (5th~ed.)}, |
43 publisher = {Cambridge University Press}, |
43 publisher = {Cambridge University Press}, |
44 year = {1987} |
44 year = {2007} |
45 } |
45 } |
46 |
46 |
47 @inproceedings{WuZhangUrban11, |
47 @inproceedings{WuZhangUrban11, |
48 author = {C.~Wu and X.~Zhang and C.~Urban}, |
48 author = {C.~Wu and X.~Zhang and C.~Urban}, |
49 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions |
49 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions |