equal
deleted
inserted
replaced
41 author = {G.~Boolos and R.~C.~Jeffrey}, |
41 author = {G.~Boolos and R.~C.~Jeffrey}, |
42 title = {{C}omputability and {L}ogic (2.~ed.)}, |
42 title = {{C}omputability and {L}ogic (2.~ed.)}, |
43 publisher = {Cambridge University Press}, |
43 publisher = {Cambridge University Press}, |
44 year = {1987} |
44 year = {1987} |
45 } |
45 } |
|
46 |
|
47 @inproceedings{WuZhangUrban11, |
|
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 |
|
50 ({P}roof {P}earl)}, |
|
51 booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving}, |
|
52 year = {2011}, |
|
53 pages = {341--356}, |
|
54 series = {LNCS}, |
|
55 volume = {6898} |
|
56 } |