Re: temporal logic tools

Article View: comp.specification

Article #283

Back to comp.specification Previous Next

#283

From: Jon Jacky
Date: Tue, 29 Sep 1992 16:37

11 lines
1052 bytes

In article <1a8ld0INN2cv@sol.deakin.OZ.AU> cjc@cm.deakin.OZ.AU (Chris Coomber) writes:
>
>A week ago I requested whether anyone knew of a good FOL theorem prover.
>I have since received many replies and obtained two good FOL theorem
>provers, namely OTTER and SETHEO. 
>

I know of OTTER, but what/where is SETHEO?  It would be useful to post 
a bit more information about availability, etc.

- Jon Jacky, jon@radonc.washington.edu, University of Washington, Seattle USA

Technical Details

Message-ID: <1992Sep29.163700.4819@beaver.cs.washington.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!mdisea!uw-coco!uw-beaver!jon

References: <1a8ld0INN2cv@sol.deakin.OZ.AU>

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification,sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!mdisea!uw-coco!uw-beaver!jon
From: jon@cs.washington.edu (Jon Jacky)
Subject: Re: temporal logic tools
Message-ID: <1992Sep29.163700.4819@beaver.cs.washington.edu>
Summary: What is SETHEO? Please post informative responses.
Keywords: Theorem proving, first-order logic, SETHEO
Sender: news@beaver.cs.washington.edu (USENET News System)
Organization: Computer Science & Engineering, U. of Washington, Seattle
References: <1a8ld0INN2cv@sol.deakin.OZ.AU>
Date: Tue, 29 Sep 92 16:37:00 GMT
Lines: 12

Reply to Parent Message