Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
3579 articles (numbers 24 – 3985) — threaded view
| Advanced| Subject | Author | Date [asc] |
|---|---|---|
| Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 19:12 -0800 |
| Re: is the ct-thesis cooked? PLO | olcott <polcott333@gmail.com> | 2026-01-24 21:42 -0600 |
| Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 20:03 -0800 |
| Re: is the ct-thesis cooked? PLO | olcott <polcott333@gmail.com> | 2026-01-24 22:06 -0600 |
| Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 21:45 -0800 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-25 13:21 -0500 |
| Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-25 13:23 -0500 |
| Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-25 13:04 -0800 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-25 13:05 -0800 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-25 17:36 -0500 |
| Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-25 17:40 -0500 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-25 21:56 -0800 |
| Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-25 22:50 -0800 |
| Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-26 01:35 -0800 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-26 11:39 -0500 |
| Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-26 11:43 -0500 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-26 11:43 -0800 |
| Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-26 11:45 -0800 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-26 17:17 -0500 |
| Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-26 17:28 -0500 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-26 14:29 -0800 |
| Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-27 00:00 -0800 |
| Re: is the ct-thesis cooked? | Dude <punditster@gmail.com> | 2026-01-27 13:31 -0800 |
| Re: is the ct-thesis cooked? | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2026-01-27 14:07 -0800 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-28 01:12 -0800 |
| Re: is the ct-thesis cooked? | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-28 07:23 -0500 |
| Re: is the ct-thesis cooked? | Dude <punditster@gmail.com> | 2026-01-28 13:29 -0800 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-28 13:37 -0800 |
| Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-01-31 11:49 -0600 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-02-01 07:11 -0500 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 11:35 -0600 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 13:31 -0500 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 12:36 -0600 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 13:48 -0500 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 13:35 -0600 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 15:03 -0500 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 14:12 -0600 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 18:39 -0500 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 17:45 -0600 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 18:55 -0500 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 18:00 -0600 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 19:15 -0500 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 18:28 -0600 |
| Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 20:33 -0500 |
| Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-01 21:32 -0600 |
| Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-02 06:48 -0500 |
| Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-02 07:49 -0600 |
| Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-02 18:46 -0500 |
| Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-02 17:55 -0600 |
| Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-02 23:11 -0500 |
« Previous 1 2 3 4 ... 72 Next »
csiph-web