Re: computer-go: Benson's paper

["Ted Cooper" <tedmcooper@xxxxxxxxxxxxxxxx>]

I have original copies of the following papers published by the Computer
Science Department of
Washington State University:

1) Life in the Game of Go; David Benson; CS-74-012
2)Legal Go: A Formal Program Specification, Part 1- the Rules for Playing
Go; D. B. Benson and S. P. Soule; CS-78-45
3)Legal Go: A Formal Program Specification, Part 2- The Preliminary Abstract
Module; D. B. Benson and S. P. Soule; CS-78-46
4)Legal Go: A Formal Program Specification, Part 3- The Full Abstract
Module; D. B. Benson and S. P. Soule; CS-78-47
5)Computerizing the Game of Go; David B.Benson, J. Denbigh Starkey, Patrick
Evers, Michael Tackett, John Miller; CS-76-0301

These may have been subsequently published elsewhere -


-----Original Message-----
From: Danny Swarzman <dannys@xxxxxxxxxxxxxxxxx>
To: computer-go@xxxxxxxxxxxxxxxxx <computer-go@xxxxxxxxxxxxxxxxx>
Cc: computer-go@xxxxxxxxxxxxxxxxx <computer-go@xxxxxxxxxxxxxxxxx>
Date: Sunday, March 25, 2001 4:54 PM
Subject: Re: computer-go: Benson's paper


>I tried to look at the document. I found that of the bensonX.tif files,
>only some appear to be good. They each have page numbers.
>
>I couldn't read X = 1, 6, 7, 10.
>
>The others have pages numbered 18 through 29. It appears that pages 17, 22,
>23 and 26 are not good.
>
>Has anyone else succeeded in reading the pages with which I have troubles?
>
>
>At 20:34 -0800 01/03/24, Darren Cook wrote:
>>>This paper seems  to be in great   demand.  I wonder  how difficult it
>>>would be to have someone re-create it in latex?
>>
>>I think one of Martin Mueller's papers summarizes it and also expands on
>>it. That might be easier to get hold of, and certainly more useful (but I
>>don't know offhand which paper it is, sorry).
>>
>>Darren
>>
>>>   > > Check out Benson's Algorithm. His paper can be found at:
>>>   > >
>>>   > >http://www.chapman.edu/students/phil/benson.zip
>>>   >
>>>   > Theese are zipped tiff files, does anybody know where the text
>>>   > files can be found?
>>>   > Wojciech
>
>
>
>