W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > November 2007

Re: CWM Bug: Rules That Strip Quantification

From: Sean B. Palmer <sean@miscoranda.com>
Date: Mon, 12 Nov 2007 16:16:33 +0000
Message-ID: <b6bb4d890711120816m6ad3d17ak6a25e291b2c9bc36@mail.gmail.com>
To: public-cwm-bugs@w3.org

On Nov 11, 2007 10:05 AM, Sean B. Palmer <sean@miscoranda.com> wrote:

> I've since done some research

And a couple more references today via JHendler and Chimezie:

http://arxiv.org/abs/0711.1533 - N3Logic paper
http://www.w3.org/DesignIssues/N3Logic - N3Logic Design Issue

Quite a bit to digest, especially Section 5.7 in the paper.

-- 
Sean B. Palmer, http://inamidst.com/sbp/
Received on Monday, 12 November 2007 16:16:51 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:52:01 UTC