equal
deleted
inserted
replaced
118 (with Zhang) Volume <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">9236</A> |
118 (with Zhang) Volume <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">9236</A> |
119 of LNCS, Springer Verlag, 2015. |
119 of LNCS, Springer Verlag, 2015. |
120 </TD> |
120 </TD> |
121 </TR> |
121 </TR> |
122 |
122 |
123 </TR> |
123 <TR> |
124 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
124 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
125 <H3>2014</H3> |
125 <H3>2014</H3> |
126 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
126 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
127 (with Wu and Zhang) In |
127 (with Wu and Zhang) In |
128 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
128 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |