|
You are here |
cronokirby.com | ||
| | | | |
eli.thegreenplace.net
|
|
| | | | | ||
| | | | |
degoes.net
|
|
| | | | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | |
| | | | |
hookrace.net
|
|
| | | | | ||
| | | | |
inquiryintoinquiry.com
|
|
| | | Re: R.J. Lipton and K.W. Regan ? Proving Cook's Theorem Synchronicity Rules? I just started reworking an old exposition of mine on Cook's Theorem, where I borrowed the Parity Function example from Wilf (1986), Algorithms and Complexity, and translated it into the cactus graph syntax for propositional calculus I developed as an extension of Peirce's... | ||