equal
deleted
inserted
replaced
72 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
72 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
73 <H3>Pending</H3> |
73 <H3>Pending</H3> |
74 <p><B>POSIX Lexing with Bitcoded Derivatives.</B> |
74 <p><B>POSIX Lexing with Bitcoded Derivatives.</B> |
75 (with Tan) |
75 (with Tan) |
76 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
76 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
77 Journal version. |
77 Journal version. Accepted in Journal of Automated Reasoning. |
78 </TD> |
78 </TD> |
79 </TR> |
79 </TR> |
80 |
80 |
81 <TR> |
81 <TR> |
82 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
82 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |