Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!lll-tis!ames!hao!gatech!hubcap!steve
From: steve@hubcap.UUCP ("Steve" Stevenson)
Newsgroups: comp.lang.prolog
Subject: Re: theorem prover of R. Overbeek (Destructive list predicates)
Message-ID: <1048@hubcap.UUCP>
Date: 2 Mar 88 13:01:48 GMT
References: <710@cresswell.quintus.UUCP>
Organization: Clemson University, Clemson, SC
Lines: 12

in article <710@cresswell.quintus.UUCP>, ok@quintus.UUCP (Richard A. O'Keefe) says:
> 
> Look,... Which is not to say that arrays with unit expected-time
update do not!  There were several papers about them....

I would appreciate a reposting of the papers and / or techiques.  Of
quite a bit of interest to me is how to deal with something like
a vector Newton-Raphson or Jacobi method.

-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906