W3C home > Mailing lists > Public > www-archive@w3.org > January 2002

RE: TDL - Model theory take 1.

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 24 Jan 2002 14:19:39 -0000
To: "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: <www-archive@w3.org>, <pfps@research.bell-labs.com>
Message-ID: <JAEBJCLMIFLKLOJGMELDIENGCCAA.jjc@hplb.hpl.hp.com>
>
> Do we want to reference sections 1-3 of Sergey's document
> at all, if Peter's SWOL specification gives us that machinery?
> (or does it?)
>

Yes keep Sergey's ref. as well as Peter's.

Peter's document is quite terse. The real debt (for me at least) is to a
conversation I had with him at webont f2f (which I guess we don't
reference).

Jeremy
Received on Thursday, 24 January 2002 09:19:46 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:16 GMT