MainScienceMathLogic and Foundations › Marking up Temporal Logic

Marking up Temporal Logic

Edit Page
Report
Scan day: 17 February 2014 UTC
15
Virus safety - good
Description: First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series.
: Thu, 02 Sep 1999 14:47:43 +0100 From [email protected] Thu Sep 2 09 I was hoping someone might be able to advise me on how I can quickly markup some basic first-order temporal logic equations to be included on a web document. I guess I need to use the character codes for the operators I need but is there an easy way to find these out (I don't think it matters was character encoding standard I use) Thank you loads! Warren
Size: 441 chars

Contact Information

Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:Marking up Temporal Logic
Keywords:
Description:
IP-address:128.30.52.56