Article View: sci.logic
Article #407Re: "Solvability" (long & pedantic)
From: Jim Todhunter
Date: Mon, 28 Sep 1992 16:33
Date: Mon, 28 Sep 1992 16:33
22 lines
1409 bytes
1409 bytes
When I returned to my office, I looked up my references and found I had
made a horrible mistake in misremembering the results concerning Checkers
and Go. The references I have on the subject are:
Fraenkel, A. S., M. R. Garey, D. S. Johnson, T. Scheafer, and Y. Yesha
[ 1978 ], "The complexity of Checkers on an NxN board -- Preliminary
report," Proc. 19th Ann. Symp. on Foundations of Computer Science,
IEEE Computer Society, Long Beach, CA, 55-64.
Lichtenstein, D., and M. Siper [1978], "GO is Pspace hard," Proc. 19th
Ann. Symp. on Foundations of Computer Science, IEEE Computer Society,
Long Beach, CA, 48-54.
Regards,
Jim Todhunter
--
James W. Todhunter, Director, Research & Development
jim%uvmark@merk.com
VMark Software, Inc. 30 Speen Street Framingham, MA 01701-1800 USA
Telphone: (508) 879-3311 Facsimile: (508) 879-3332
Technical Details
Message-ID:
<1992Sep28.163343.47634@uvmark.uucp>Path:
arc1-ca.pugleaf.net!sparky!uunet!sun-barr!olivea!spool.mu.edu!sdd.hp.com!caen!uwm.edu!ogicse!hsdndev!spdcc!merk!uvmark!jimReferences:
<1992Sep25.220728.26568@unixg.ubc.ca> <1992Sep26.190032.62552@uvmark.uucp> <1992Sep27.164247.20649@cbnewsl.cb.att.com>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!olivea!spool.mu.edu!sdd.hp.com!caen!uwm.edu!ogicse!hsdndev!spdcc!merk!uvmark!jim From: jim@uvmark.uucp (Jim Todhunter) Newsgroups: sci.logic,sci.math,rec.games.chess Subject: Re: "Solvability" (long & pedantic) Message-ID: <1992Sep28.163343.47634@uvmark.uucp> Date: 28 Sep 92 16:33:43 GMT References: <1992Sep25.220728.26568@unixg.ubc.ca> <1992Sep26.190032.62552@uvmark.uucp> <1992Sep27.164247.20649@cbnewsl.cb.att.com> Organization: Vmark Software, Inc. Lines: 22