comp.theory

Liste des GroupesPages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
13 Jul 24 i   i i   `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V211Richard Damon
13 Jul 24 i   i i    `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V210olcott
13 Jul 24 i   i i     `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V29Richard Damon
13 Jul 24 i   i i      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V28olcott
13 Jul 24 i   i i       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Richard Damon
13 Jul 24 i   i i        `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26olcott
13 Jul 24 i   i i         `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25Richard Damon
13 Jul 24 i   i i          `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
13 Jul 24 i   i i           `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V23Richard Damon
13 Jul 24 i   i i            `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V22olcott
13 Jul 24 i   i i             `- Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V21Richard Damon
13 Jul 24 i   i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2147joes
13 Jul 24 i   i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2146olcott
13 Jul 24 i   i i +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
13 Jul 24 i   i i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2144joes
13 Jul 24 i   i i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2143olcott
13 Jul 24 i   i i   +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
13 Jul 24 i   i i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2141joes
13 Jul 24 i   i i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2140olcott
14 Jul 24 i   i i     +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2138joes
14 Jul 24 i   i i     i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2137olcott
14 Jul 24 i   i i     i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
14 Jul 24 i   i i     i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2135joes
14 Jul 24 i   i i     i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2134olcott
14 Jul 24 i   i i     i   +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2125joes
15 Jul 24 i   i i     i   i+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V228olcott
15 Jul 24 i   i i     i   ii+- Re: DDD correctly emulated by HHH is IN*Correctly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   ii`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V226joes
15 Jul 24 i   i i     i   ii `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V225olcott
15 Jul 24 i   i i     i   ii  +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
16 Jul 24 i   i i     i   ii  +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   ii  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V222Mikko
16 Jul 24 i   i i     i   ii   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V221olcott
17 Jul 24 i   i i     i   ii    +- Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
17 Jul 24 i   i i     i   ii    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V219Mikko
17 Jul 24 i   i i     i   ii     `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V218olcott
17 Jul 24 i   i i     i   ii      +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V210Fred. Zwarts
17 Jul 24 i   i i     i   ii      i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V29olcott
17 Jul 24 i   i i     i   ii      i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
17 Jul 24 i   i i     i   ii      i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25joes
17 Jul 24 i   i i     i   ii      i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
17 Jul 24 i   i i     i   ii      i i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V22joes
17 Jul 24 i   i i     i   ii      i i i`- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21olcott
18 Jul 24 i   i i     i   ii      i i `- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      i +- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      i `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Mikko
18 Jul 24 i   i i     i   ii      +- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26Mikko
18 Jul 24 i   i i     i   ii       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25olcott
18 Jul 24 i   i i     i   ii        +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
19 Jul 24 i   i i     i   ii        `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23Mikko
19 Jul 24 i   i i     i   ii         `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V22olcott
19 Jul 24 i   i i     i   ii          `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V296Mike Terry
15 Jul 24 i   i i     i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V295olcott
15 Jul 24 i   i i     i   i  +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25Fred. Zwarts
15 Jul 24 i   i i     i   i  i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
15 Jul 24 i   i i     i   i  i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
15 Jul 24 i   i i     i   i  i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
16 Jul 24 i   i i     i   i  i `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i  +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V286joes
15 Jul 24 i   i i     i   i  i+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V282olcott
15 Jul 24 i   i i     i   i  ii+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V280joes
15 Jul 24 i   i i     i   i  iii`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V279olcott
15 Jul 24 i   i i     i   i  iii +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
15 Jul 24 i   i i     i   i  iii +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V276joes
15 Jul 24 i   i i     i   i  iii i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V275olcott
16 Jul 24 i   i i     i   i  iii i +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  iii i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V273joes
16 Jul 24 i   i i     i   i  iii i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V272olcott
16 Jul 24 i   i i     i   i  iii i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V269joes
17 Jul 24 i   i i     i   i  iii i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V268olcott
19 Jul 24 i   i i     i   i  iii i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V267Mikko
19 Jul 24 i   i i     i   i  iii i   i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V266olcott
20 Jul 24 i   i i     i   i  iii i   i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V265Mikko
20 Jul 24 i   i i     i   i  iii i   i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V264olcott
20 Jul 24 i   i i     i   i  iii i   i     +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
21 Jul 24 i   i i     i   i  iii i   i     `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V262Mikko
21 Jul 24 i   i i     i   i  iii i   i      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V261olcott
21 Jul 24 i   i i     i   i  iii i   i       +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
21 Jul 24 i   i i     i   i  iii i   i       +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
22 Jul 24 i   i i     i   i  iii i   i       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V258Mikko
22 Jul 24 i   i i     i   i  iii i   i        `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V257olcott
23 Jul 24 i   i i     i   i  iii i   i         `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V256Mikko
23 Jul 24 i   i i     i   i  iii i   i          `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V255olcott
24 Jul 24 i   i i     i   i  iii i   i           +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
24 Jul 24 i   i i     i   i  iii i   i           +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25Fred. Zwarts
24 Jul 24 i   i i     i   i  iii i   i           i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- last chance4olcott
24 Jul 24 i   i i     i   i  iii i   i           i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- last chance3Fred. Zwarts
24 Jul 24 i   i i     i   i  iii i   i           i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- proved to be a liar2olcott
25 Jul 24 i   i i     i   i  iii i   i           i   `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- proved to be a liar1Fred. Zwarts
24 Jul 24 i   i i     i   i  iii i   i           +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V222Mikko
24 Jul 24 i   i i     i   i  iii i   i           i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V221olcott
26 Jul 24 i   i i     i   i  iii i   i           i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V220Mikko
26 Jul 24 i   i i     i   i  iii i   i           i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V219olcott
27 Jul 24 i   i i     i   i  iii i   i           i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V218Mikko
27 Jul 24 i   i i     i   i  iii i   i           i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V217olcott
28 Jul 24 i   i i     i   i  iii i   i           i     `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V216Mikko
29 Jul 24 i   i i     i   i  iii i   i           i      `* embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩15olcott
29 Jul 24 i   i i     i   i  iii i   i           i       +* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩2joes
29 Jul 24 i   i i     i   i  iii i   i           i       i`- Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩1olcott
30 Jul 24 i   i i     i   i  iii i   i           i       `* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩12Mikko
30 Jul 24 i   i i     i   i  iii i   i           i        `* embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn11olcott
31 Jul 24 i   i i     i   i  iii i   i           i         `* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn10Mikko
31 Jul 24 i   i i     i   i  iii i   i           i          `* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn9olcott
1 Aug 24 i   i i     i   i  iii i   i           i           `* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn8Mikko
1 Aug 24 i   i i     i   i  iii i   i           i            `* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn7olcott
1 Aug 24 i   i i     i   i  iii i   i           i             +* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn2joes
1 Aug 24 i   i i     i   i  iii i   i           i             i`- Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn --- black swan1olcott
2 Aug 24 i   i i     i   i  iii i   i           i             `* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn4Mikko
2 Aug 24 i   i i     i   i  iii i   i           i              `* Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn3olcott
2 Aug 24 i   i i     i   i  iii i   i           i               +- Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ incorrectly computes the mapping from its input to Ĥ.qn1Richard Damon
3 Aug 24 i   i i     i   i  iii i   i           i               `- Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn1Mikko
25 Jul 24 i   i i     i   i  iii i   i           `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V226Mike Terry
25 Jul 24 i   i i     i   i  iii i   i            `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal25olcott
25 Jul 24 i   i i     i   i  iii i   i             +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal2Python
25 Jul 24 i   i i     i   i  iii i   i             i`- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal1olcott
25 Jul 24 i   i i     i   i  iii i   i             +* Re: not identical deciders2joes
25 Jul 24 i   i i     i   i  iii i   i             i`- Re: not identical deciders1olcott
25 Jul 24 i   i i     i   i  iii i   i             +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal4Fred. Zwarts
25 Jul 24 i   i i     i   i  iii i   i             i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal3Mike Terry
25 Jul 24 i   i i     i   i  iii i   i             i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal2olcott
26 Jul 24 i   i i     i   i  iii i   i             i  `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal1Fred. Zwarts
25 Jul 24 i   i i     i   i  iii i   i             +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal14Mike Terry
26 Jul 24 i   i i     i   i  iii i   i             i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal13olcott
26 Jul 24 i   i i     i   i  iii i   i             i +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken claims1Richard Damon
26 Jul 24 i   i i     i   i  iii i   i             i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal11Mike Terry
26 Jul 24 i   i i     i   i  iii i   i             i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal10olcott
26 Jul 24 i   i i     i   i  iii i   i             i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal8joes
26 Jul 24 i   i i     i   i  iii i   i             i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal7olcott
26 Jul 24 i   i i     i   i  iii i   i             i   i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal3Fred. Zwarts
26 Jul 24 i   i i     i   i  iii i   i             i   i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal2olcott
26 Jul 24 i   i i     i   i  iii i   i             i   i i `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal1Fred. Zwarts
26 Jul 24 i   i i     i   i  iii i   i             i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal3joes
26 Jul 24 i   i i     i   i  iii i   i             i   i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal2olcott
26 Jul 24 i   i i     i   i  iii i   i             i   i   `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal1joes
26 Jul 24 i   i i     i   i  iii i   i             i   `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal1Richard Damon
26 Jul 24 i   i i     i   i  iii i   i             +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken logic1Richard Damon
26 Jul 24 i   i i     i   i  iii i   i             `- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken emulation1Richard Damon
16 Jul 24 i   i i     i   i  iii i   +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
17 Jul 24 i   i i     i   i  iii i   `- Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  iii `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  ii`- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i  i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23Mike Terry
15 Jul 24 i   i i     i   i  i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 --- key point needing review2olcott
16 Jul 24 i   i i     i   i  i  `- Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V2 --- key point needing review1Richard Damon
15 Jul 24 i   i i     i   i  `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V23Richard Damon
15 Jul 24 i   i i     i   i   `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V22olcott
16 Jul 24 i   i i     i   i    `- Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Mikko
15 Jul 24 i   i i     i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26olcott
16 Jul 24 i   i i     i     +- Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i     `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24Mikko
16 Jul 24 i   i i     i      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23olcott
16 Jul 24 i   i i     i       +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
17 Jul 24 i   i i     i       `- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
14 Jul 24 i   i i     `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
14 Jul 24 i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Mikko
14 Jul 24 i   i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26olcott
14 Jul 24 i   i   +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24Mikko
15 Jul 24 i   i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23olcott
16 Jul 24 i   i     +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i     `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Mikko
13 Jul 24 i   +* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V23Richard Damon
13 Jul 24 i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V22olcott
13 Jul 24 i   i `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
13 Jul 24 i   `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
13 Jul 24 +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V22Mikko
13 Jul 24 i`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21olcott
14 Jul 24 `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V224Mikko
14 Jul 24  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V223olcott
14 Jul 24   +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V21Richard Damon
15 Jul 24   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V221Mikko
15 Jul 24    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V220olcott
15 Jul 24     +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21Fred. Zwarts
15 Jul 24     +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21joes
16 Jul 24     +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V21Richard Damon
16 Jul 24     `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V216Mikko
16 Jul 24      `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V215olcott
16 Jul 24       +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21Fred. Zwarts
16 Jul 24       +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V22joes
17 Jul 24       i`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21Fred. Zwarts
17 Jul 24       +- Re: DDD INcorrectly emulated by HHH is INcorrectly rejected as non-halting V21Richard Damon
17 Jul 24       +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V24Mikko
17 Jul 24       i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V23olcott
18 Jul 24       i +- Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting V21Richard Damon
18 Jul 24       i `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21Mikko
31 Jul 24       `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V26Mikko
31 Jul 24        `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V25olcott
1 Aug 24         +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21joes
1 Aug 24         `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V23Mikko
1 Aug 24          `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V22olcott
2 Aug 24           `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21Mikko
26 Jul 24 * This function proves that only the outermost HHH examines the execution trace112olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace3joes
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace2Mike Terry
26 Jul 24 i `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace50Mike Terry
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace49olcott
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace3olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace6Fred. Zwarts
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace5olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i i +* Re: This function proves that only the outermost HHH examines the execution trace2joes
27 Jul 24 i i i`- Re: This function proves that only the outermost HHH examines the execution trace1olcott
27 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace37Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace36olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace31Fred. Zwarts
27 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace30olcott
28 Jul 24 i   i +* Re: This function proves that only the outermost HHH examines the execution trace5Fred. Zwarts
28 Jul 24 i   i i`* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i   i i `- Re: This function proves that only the outermost HHH examines the execution trace1joes
28 Jul 24 i   i `* Re: This function proves that only the outermost HHH examines the execution trace24Mikko
29 Jul 24 i   i  `* Re: This function proves that only the outermost HHH examines the execution trace23olcott
29 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
30 Jul 24 i   i   `* Re: This function proves that only the outermost HHH examines the execution trace20Mikko
31 Jul 24 i   i    `* Re: This function proves that only the outermost HHH examines the execution trace19olcott
31 Jul 24 i   i     +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
31 Jul 24 i   i     `* Re: This function proves that only the outermost HHH examines the execution trace17Mikko
31 Jul 24 i   i      +* Re: This function proves that only the outermost HHH examines the execution trace14olcott
1 Aug 24 i   i      i`* Re: This function proves that only the outermost HHH examines the execution trace13Mikko
1 Aug 24 i   i      i `* Re: This function proves that only the outermost HHH examines the execution trace12olcott
1 Aug 24 i   i      i  +* Re: This function proves that only the outermost HHH examines the execution trace10Fred. Zwarts
1 Aug 24 i   i      i  i`* Re: This function proves that only the outermost HHH examines the execution trace9olcott
1 Aug 24 i   i      i  i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i `* Re: This function proves that only the outermost HHH examines the execution trace7joes
1 Aug 24 i   i      i  i  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
1 Aug 24 i   i      i  i   +* Re: This function proves that only the outermost HHH examines the execution trace3Fred. Zwarts
1 Aug 24 i   i      i  i   i`* Re: This function proves that only the outermost HHH examines the execution trace2olcott
2 Aug 24 i   i      i  i   i `- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i   `* Re: This function proves that only the outermost HHH examines the execution trace2joes
1 Aug 24 i   i      i  i    `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
2 Aug 24 i   i      i  `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
31 Jul 24 i   i      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
1 Aug 24 i   i       `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i    `* HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace3olcott
29 Jul 24 i     +- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Fred. Zwarts
30 Jul 24 i     `- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Mikko
27 Jul 24 +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal