| Date | Sujet | # | | Auteur |
| 18 Jun 24 |     Re: Simulating termination analyzers for dummies | 2 | | Python |
| 18 Jun 24 |   Re: Simulating termination analyzers for dummies | 1 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies | 1 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies | 1 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 106 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 105 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 104 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 103 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 102 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 101 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 100 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 99 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 98 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 97 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 95 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 94 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies | 92 | | joes |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 91 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 47 | | joes |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 5 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | joes |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- test of dishonesty | 1 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 41 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 40 | | Alan Mackenzie |
| 18 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 39 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 38 | | Alan Mackenzie |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 37 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 5 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- The only reply until addressed | 4 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- addressed | 3 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- --- the only reply until FULLY addressed | 2 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- --- the only reply until FULLY addressed | 1 | | joes |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 31 | | Mikko |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 30 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 29 | | Mikko |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 28 | | olcott |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 26 | | Mikko |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 25 | | olcott |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 23 | | Mikko |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 22 | | olcott |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 21 | | Richard Damon |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 20 | | olcott |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 3 | | Richard Damon |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 2 | | olcott |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | Richard Damon |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | joes |
| 23 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 15 | | Mikko |
| 23 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 14 | | olcott |
| 24 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 13 | | Mikko |
| 24 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 12 | | olcott |
| 24 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 10 | | joes |
| 24 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 7 | | Alan Mackenzie |
| 24 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 4 | | olcott |
| 25 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | Richard Damon |
| 25 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | joes |
| 25 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | Fred. Zwarts |
| 25 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 2 | | Mikko |
| 25 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | Alan Mackenzie |
| 24 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 2 | | olcott |
| 25 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | Richard Damon |
| 25 Jun 24 | Re: Simulating termination analyzers by dummies --- criteria is met | 1 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 23 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 22 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 17 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 16 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 5 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- the only reply until addressed | 2 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- the only reply until addressed | 1 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 10 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 9 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 7 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | joes |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 20 | | Fred. Zwarts |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 19 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 12 | | Fred. Zwarts |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 11 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 9 | | Fred. Zwarts |
| 19 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 8 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 7 | | Fred. Zwarts |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 6 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | joes |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | olcott |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | Fred. Zwarts |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 2 | | olcott |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | joes |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 6 | | Mikko |
| 20 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 5 | | olcott |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 4 | | Mikko |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 3 | | olcott |
| 21 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Richard Damon |
| 22 Jun 24 | Re: Simulating termination analyzers by dummies --- What does halting mean? | 1 | | Mikko |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies | 1 | | Richard Damon |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 1 | | Python |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 10 | | Mikko |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 9 | | olcott |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 7 | | Mikko |
| 18 Jun 24 | Re: Simulating termination analyzers for dummies | 6 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies | 5 | | Mikko |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies | 4 | | olcott |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies | 2 | | joes |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies --- The only reply until addressed | 1 | | olcott |
| 20 Jun 24 | Re: Simulating termination analyzers for dummies | 1 | | Mikko |
| 19 Jun 24 | Re: Simulating termination analyzers for dummies | 1 | | Richard Damon |
| 15 Jun 24 | H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 44 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 19 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 18 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 17 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 16 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 15 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 14 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 13 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 12 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 11 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 10 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 8 | | Mikko |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 7 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 5 | | Mikko |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 4 | | olcott |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 3 | | Mikko |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 2 | | olcott |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | Mikko |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 24 | | Mikko |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 23 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 21 | | Mikko |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 20 | | olcott |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | Richard Damon |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 18 | | Mikko |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 17 | | olcott |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 16 | | Mikko |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 5 | | olcott |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 4 | | Mikko |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 2 | | olcott |
| 20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | Mikko |
| 20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | olcott |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 10 | | olcott |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 9 | | Fred. Zwarts |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 8 | | olcott |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 7 | | Fred. Zwarts |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 6 | | olcott |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 5 | | Fred. Zwarts |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 4 | | olcott |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 2 | | Alan Mackenzie |
| 19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | olcott |
| 20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 1 | | Fred. Zwarts |
| 8 Jun 24 | Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 87 | | olcott |
| 8 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 2 | | olcott |
| 8 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 8 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 83 | | Fred. Zwarts |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 2 | | olcott |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 12 | | olcott |
| 9 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 10 | | Mikko |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 9 | | olcott |
| 11 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 11 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 6 | | Mikko |
| 11 Jun 24 | DDD correctly simulated by HH cannot possibly halt | 5 | | olcott |
| 12 Jun 24 | Re: DDD correctly simulated by HH cannot possibly halt | 1 | | Richard Damon |
| 12 Jun 24 | Re: DDD correctly simulated by HH cannot possibly halt | 3 | | Mikko |
| 12 Jun 24 | Re: DDD correctly simulated by HH cannot possibly halt | 2 | | olcott |
| 15 Jun 24 | Re: DDD correctly simulated by HH cannot possibly halt | 1 | | Mikko |
| 15 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Mikko |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 68 | | olcott |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 62 | | Fred. Zwarts |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 6 | | olcott |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 3 | | joes |
| 10 Jun 24 | Proof that D correctly simulated by H has different behavior than D(D) | 2 | | olcott |
| 12 Jun 24 | Re: Proof that D correctly simulated by H has different behavior than D(D) | 1 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Fred. Zwarts |
| 12 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 55 | | olcott |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 53 | | Fred. Zwarts |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 52 | | olcott |
| 11 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 51 | | Fred. Zwarts |
| 11 Jun 24 | D correctly simulated by H proved for THREE YEARS --- rewritten | 50 | | olcott |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 49 | | Fred. Zwarts |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 48 | | olcott |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 47 | | Fred. Zwarts |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 46 | | olcott |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 45 | | Fred. Zwarts |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 44 | | olcott |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 43 | | Fred. Zwarts |
| 12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 42 | | olcott |
| 13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 41 | | Fred. Zwarts |
| 13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 40 | | olcott |
| 13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 39 | | Fred. Zwarts |
| 13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 38 | | olcott |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 37 | | Fred. Zwarts |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 36 | | olcott |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 35 | | Fred. Zwarts |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 34 | | olcott |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 33 | | Fred. Zwarts |
| 14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 32 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 31 | | Fred. Zwarts |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 30 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 28 | | Fred. Zwarts |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 27 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 25 | | Fred. Zwarts |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 24 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 22 | | Fred. Zwarts |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 21 | | olcott |
| 15 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 16 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 19 | | Fred. Zwarts |
| 16 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 18 | | olcott |
| 16 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Richard Damon |
| 16 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 5 | | Fred. Zwarts |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 4 | | olcott |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 3 | | Fred. Zwarts |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 2 | | olcott |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Fred. Zwarts |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 11 | | Mikko |
| 17 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 10 | | olcott |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 2 | | Mikko |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | olcott |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 7 | | Fred. Zwarts |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 6 | | olcott |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 5 | | Fred. Zwarts |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 4 | | olcott |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Fred. Zwarts |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 2 | | Mikko |
| 18 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | olcott |
| 12 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) | 1 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 5 | | Richard Damon |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 4 | | olcott |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 2 | | joes |
| 10 Jun 24 | Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1) | 1 | | olcott |