equal
deleted
inserted
replaced
1 |
1 |
2 @incollection{myhillnerodeafp11, |
2 @incollection{myhillnerodeafp11, |
3 author = {C.~Wu and X.~Zhang and C.~Urban}, |
3 author = {C.~Wu and X.~Zhang and C.~Urban}, |
4 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
4 title = {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
5 booktitle = {The Archive of Formal Proofs}, |
5 booktitle = {The Archive of Formal Proofs}, |
6 editor = {G.~Klein and T.~Nipkow and L.~Paulson}, |
6 editor = {G.~Klein and T.~Nipkow and L.~Paulson}, |
7 publisher = {\url{http://afp.sf.net/entries/Myhill-Nerode.shtml}}, |
7 publisher = {\url{http://afp.sf.net/entries/Myhill-Nerode.shtml}}, |
8 month = Aug, |
8 month = Aug, |
9 year = 2011, |
9 year = 2011, |