equal
deleted
inserted
replaced
25 @incollection{myhillnerodeafp11, |
25 @incollection{myhillnerodeafp11, |
26 author = {C.~Wu and X.~Zhang and C.~Urban}, |
26 author = {C.~Wu and X.~Zhang and C.~Urban}, |
27 title = {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
27 title = {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
28 booktitle = {The Archive of Formal Proofs}, |
28 booktitle = {The Archive of Formal Proofs}, |
29 editor = {G.~Klein and T.~Nipkow and L.~Paulson}, |
29 editor = {G.~Klein and T.~Nipkow and L.~Paulson}, |
30 publisher = {\url{http://afp.sf.net/entries/Myhill-Nerode.shtml}}, |
30 publisher = {\url{http://afp.sourceforge.net/devel-entries/Myhill-Nerode.shtml}}, |
31 month = Aug, |
31 month = Aug, |
32 year = 2011, |
32 year = 2011, |
33 note = {Formal proof development}, |
33 note = {Formal proof development}, |
34 ISSN = {2150-914x} |
34 ISSN = {2150-914x} |
35 } |
35 } |