# HG changeset patch # User Christian Urban <christian dot urban at kcl dot ac dot uk> # Date 1407636831 -3600 # Node ID 25470d6b220acaaa8b6fad597328713f2ad08f38 # Parent 1d95918391c88200a664a2dd9f400e687b13808d tuned diff -r 1d95918391c8 -r 25470d6b220a index.html --- a/index.html Sun Aug 10 03:08:48 2014 +0100 +++ b/index.html Sun Aug 10 03:13:51 2014 +0100 @@ -215,7 +215,7 @@ this <A HREF="http://blog.computationalcomplexity.org/2006/01/theorem-that-should-be-better-known.html">blog</A> should be better known. We also answered a -<A HREF="http://blog.computationalcomplexity.org/2013/02/proving-dfa-langs-closed-under-concat.html">question</A> by Bill Gasarch from the same blog about +<A HREF="http://blog.computationalcomplexity.org/2013/02/proving-dfa-langs-closed-under-concat.html">question</A> from the same blog about "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the @@ -333,7 +333,7 @@ </TABLE> <P> -<!-- hhmts start --> Last modified: Sun Aug 10 03:06:11 BST 2014 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Sun Aug 10 03:13:42 BST 2014 <!-- hhmts end --> <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> </BODY> </HTML>