- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 07 Sep 2006 13:39:27 -0500
- To: Harry Halpin <hhalpin@ibiblio.org>
- Cc: Jos De Roo <jos.deroo@agfa.com>, www-archive@w3.org, Sandro Hawke <sandro@w3.org>
On Thu, 2006-09-07 at 13:23 -0500, Dan Connolly wrote: [...] > Harry and just had an interesting discussion about semantic > web proof, and I told him I'd give him a pointer. Harry, we also flew by the Necula/Felten PCA stuff. I just ran across a message about that stuff. http://lists.w3.org/Archives/Public/www-rdf-logic/2003Apr/0104.html -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Thursday, 7 September 2006 18:39:38 UTC