W3C home > Mailing lists > Public > www-archive@w3.org > August 2005

N3 semantics w.r.t. Acl2?

From: Dan Connolly <connolly@w3.org>
Date: Sun, 28 Aug 2005 20:20:27 -0500
To: www-archive+breadcrumbs@w3.org
Message-Id: <1125278429.EDBD386@bb11.dngr.org>



What of wtr and intuitionistic? S4, provability, ...
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
mobile: tel:+1-816-616-6576

Received on Monday, 29 August 2005 01:20:43 GMT

This message: [ Message body ]
Next message: Dan Connolly: "Packaging, volumes, backup"
Previous message: Dan Connolly: "owl2sql on iCalendal.owl"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:09:40 GMT