equal
deleted
inserted
replaced
177 |
177 |
178 @inproceedings{WuZhangUrban11, |
178 @inproceedings{WuZhangUrban11, |
179 author = {C.~Wu and X.~Zhang and C.~Urban}, |
179 author = {C.~Wu and X.~Zhang and C.~Urban}, |
180 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions |
180 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions |
181 ({P}roof {P}earl)}, |
181 ({P}roof {P}earl)}, |
182 booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving}, |
182 booktitle = {Proc.~of the 2nd International Conference on Interactive Theorem Proving}, |
183 year = {2011}, |
183 year = {2011}, |
184 pages = {341--356}, |
184 pages = {341--356}, |
185 series = {LNCS}, |
185 series = {LNCS}, |
186 volume = {6898} |
186 volume = {6898} |
187 } |
187 } |