equal
deleted
inserted
replaced
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) Accepted at ITP'23. |
75 (with Tan) Accepted at ITP'23. |
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/bitcoded-itp.pdf">pdf</A>] |
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/bitcoded-itp.pdf">pdf</A>] |
77 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
77 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
78 Accepted in Journal of Automated Reasoning. |
78 Journal of Automated Reasoning. <A HREF="https://rdcu.be/dgoo5">Springer Verlag</A> |
79 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>] |
79 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>] |
80 </TD> |
80 </TD> |
81 </TR> |
81 </TR> |
82 |
82 |
83 <TR> |
83 <TR> |