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 archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:52 GMT