[Prev][Next][Index]
Looking for LP
-
To: larch-interest
-
Subject: Looking for LP
-
From: Clemens Cap <cap@ifi.unizh.ch>
-
Date: Tue, 5 Oct 1993 14:28:32 +0100 (MET)
-
Delivery-Date: Tue, 05 Oct 93 06:33:09 -0700
-
Sender: cap@ifi.unizh.ch
I got a reference to the Larch Prover in search of a term
rewrting tool Is the Prover public domain - and where is it accessible ?
Thank you very much.
--
* Dr. Clemens H. CAP cap@ifi.unizh.ch (email)
* Ass. Professor for Formal Methods in CS +(1) 257-4326 (office)
* Dept. of Computer Science +(1) 322 02 19 (home)
* University of Zurich +(1) 363 00 35 (fax)
* Winterthurerstr. 190 CH-8057 Zurich, Switzerland
* Motto: "Please do not read the last line of this signature".