temporal logic

Article View: comp.ai

Article #8431

#8431

From: Paul Fishwick
Date: Fri, 09 Jun 1989 14:27

6 lines
541 bytes

Are there any available (i.e. FTP'able) temporal logic programming
languages floating around on the net? I would be most interested
to hear of any. Thanks.

-paul fishwick

Technical Details

Message-ID: <20438@uflorida.cis.ufl.EDU>

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!mailrus!uflorida!fishwick

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!mailrus!uflorida!fishwick
From: fishwick@uflorida.cis.ufl.EDU (Paul Fishwick)
Newsgroups: comp.ai,comp.lang.prolog,fa.prolog
Subject: temporal logic
Keywords: temporal logic, software
Message-ID: <20438@uflorida.cis.ufl.EDU>
Date: 9 Jun 89 14:27:44 GMT
Organization: UF CIS Department
Lines: 6