equal
deleted
inserted
replaced
57 @incollection{myhillnerodeafp11, |
57 @incollection{myhillnerodeafp11, |
58 author = {C.~Wu and X.~Zhang and C.~Urban}, |
58 author = {C.~Wu and X.~Zhang and C.~Urban}, |
59 title = {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
59 title = {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
60 booktitle = {The Archive of Formal Proofs}, |
60 booktitle = {The Archive of Formal Proofs}, |
61 editor = {G.~Klein and T.~Nipkow and L.~Paulson}, |
61 editor = {G.~Klein and T.~Nipkow and L.~Paulson}, |
62 publisher = {\url{http://afp.sourceforge.net/devel-entries/Myhill-Nerode.shtml}}, |
62 publisher = {\url{http://afp.sourceforge.net/entries/Myhill-Nerode.shtml}}, |
63 month = Aug, |
63 month = Aug, |
64 year = 2011, |
64 year = 2011, |
65 note = {Formal proof development}, |
65 note = {Formal proof development}, |
66 ISSN = {2150-914x} |
66 ISSN = {2150-914x} |
67 } |
67 } |