comp.theory
By Author

236 messages sorted by: [ date ] [ thread ] [ subject ]

Starting: 09/30/04
Ending: 10/30/04

Aatu Koskensilta
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/02/04)
- Re: Zenkin's paper on Cantor (10/01/04)
albrecht
- Re: Zenkin's paper on Cantor (10/03/04)
Alex Hunsley
- Re: Another claim for P=NP (10/22/04)
- Re: Another claim for P=NP (10/20/04)
- Re: random number generation & predictability (10/15/04)
- random number generation & predictability (10/14/04)
Alex Simpson
- CFP: LICS 2005 - 12th IEEE Symposium on Logic In Computer Science (10/11/04)
Alex Vinokur
- Re: Turing Machine to Train Sets Converter (10/26/04)
- Re: Turing Machine with faults, failures and recovery (10/21/04)
- Fibonacci connection between Huffman codes and Wythoff array (10/10/04)
Alexander T. Hamming
- Re: Is this proof right? (10/28/04)
- Is this proof right? (10/24/04)
Andreas Morgenstern
- Special Case of Sat (10/15/04)
André Betz
- Re: Turing Machine to Train Sets Converter (10/26/04)
- Turing Machine to Train Sets Converter (10/26/04)
Anonymous
- Re: P vs NP craziness (10/28/04)
- P vs NP craziness (10/28/04)
Bill Wade
- Re: Proof that this assertion about heaps is true (10/19/04)
burning trident
- Large scale sorting (09/30/04)
Casey Hawthorne
- Re: Is this proof right? (10/24/04)
Charlie-Boo
- Re: Olcott is cured of CrackPottery! (Halting Problem) (10/04/04)
Chas Brown
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/30/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/17/04)
Chris Menzel
- Re: Primitive recursive vs recursive at the base of the arithmetical hierarchy. (10/08/04)
conesetter
- A Note on Boolean Satisfiability. (10/18/04)
Craig Feinstein
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/18/04)
- Re: Zenkin's paper on Cantor (10/04/04)
d. lee
- Re: examples of EXPTIME (10/06/04)
Daniel A. Jimenez
- Re: Largest provable BB(N)? (10/28/04)
- Re: cnf/dnf approximation (10/12/04)
Daniel Marx
- Performance of matching algorithms in practice (10/03/04)
Daryl McCullough
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/01/04)
Dave Seaman
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/18/04)
- Re: Zenkin's paper on Cantor (10/01/04)
David C. Ullrich
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (09/30/04)
David Wagner
- Re: random number generation & predictability (10/14/04)
DCC
- Call for Papers, Data Compression Conference 2005, March 29-31, Snowbird, UT (10/13/04)
Dennis Ritchie
- Re: Largest provable BB(N)? (10/29/04)
Diego
- weighted tree generation (10/29/04)
Dik T. Winter
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/16/04)
Edmond
- Complexity question regarding randomized approximation algorithm (10/21/04)
Eray Ozkural exa
- Re: Another claim for P=NP (10/27/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/27/04)
- Re: Can Human Level A.I. be implemented? (10/27/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/15/04)
- Re: generating random phrases with semantics. (10/11/04)
- Re: Zenkin's paper on Cantor (10/11/04)
- Re: Zenkin's paper on Cantor (10/11/04)
- Re: Zenkin's paper on Cantor (10/08/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/02/04)
- Re: Zenkin's paper on Cantor (10/01/04)
- Re: Another set with cardinality |Z| (10/01/04)
- Re: Zenkin's paper on Cantor (10/01/04)
- Re: Zenkin's paper on Cantor (10/01/04)
Ernest
- Multiple errors recognition (10/21/04)
Farhang Farid
- AVL to Red-Black Tree (10/09/04)
Frank
- Prefix Averages Problem (10/10/04)
H. Enderton
- Re: Primitive recursive vs recursive at the base of the arithmetical hierarchy. (10/08/04)
Hans Hüttel
- Re: Semantics of LTS (10/22/04)
Harlan Messinger
- Re: Proof of inherent ambiguity? (10/02/04)
He Who Smokes Out Of Two Mouths
- Re: Zenkin's paper on Cantor (10/01/04)
- Re: Zenkin's paper on Cantor (10/01/04)
HERC777
- Re: Different size infinities? (10/29/04)
Jamie Andrews; real address _at_ bottom of message
- Re: examples of EXPTIME (10/06/04)
Jaroslaw Zola
- tree generation (10/26/04)
Jean-S?bastien Bolduc
- Re: Semantics of LTS (10/25/04)
- Semantics of LTS (10/22/04)
jesus harold christ
- Re: Another set with cardinality |Z| (10/02/04)
Jim Nastos
- Re: pumping lemma (third try) (10/15/04)
- Re: pumping lemma (third try) (10/15/04)
- Re: pumping lemma (third try) (10/15/04)
- Re: pumping lemma (third try) (10/15/04)
- Re: pumping lemma (third try) (10/14/04)
- Re: cnf/dnf approximation (10/12/04)
- Re: cnf/dnf approximation (10/12/04)
- Re: New book: Stochastic Local Search --- Foundations and Applications (10/08/04)
John P. Green
- Re: Another claim for P=NP (10/21/04)
Jose Juan Mendoza Rodriguez
- Re: (N)Linspace (10/03/04)
Jym
- Re: examples of EXPTIME (10/06/04)
Jón Fairbairn
- Re: Graph theory nomenclature (10/16/04)
- Graph theory nomenclature (10/15/04)
Kaz Kylheku
- Re: AVL to Red-Black Tree (10/12/04)
Keckman
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/03/04)
Ken
- complexity of computing polynomials proof (10/16/04)
Kent Paul Dolan
- [OT]: Another claim for P=NP (10/25/04)
- Re: complexity of computing polynomials proof (10/16/04)
- Re: random number generation & predictability (10/16/04)
- Re: limit speed of computation - Digital vs. Quantum (10/15/04)
- Re: limit speed of computation - Digital vs. Quantum (10/13/04)
- Re: limit speed of computation - Digital vs. Quantum (10/13/04)
- Re: limit speed of computation - Digital vs. Quantum (10/13/04)
- Re: limit speed of computation - Digital vs. Quantum (10/13/04)
Lars Luthman
- Re: help: probability of dropping k items into N buckets (10/06/04)
- Re: help: probability of dropping k items into N buckets (10/06/04)
LK
- Problem creating a regular expression. (10/27/04)
Lucas Zimmerman
- Re: generating random phrases with semantics. (10/06/04)
- generating random phrases with semantics. (10/05/04)
manikraina_at_gmail.com
- On the undecidability of L_d (10/14/04)
Marc Goodman
- Re: AVL to Red-Black Tree (10/09/04)
mareg_at_mimosa.csv.warwick.ac.uk
- complexity of matrix operations (10/13/04)
Mark \(The WannaBe\)
- Re: Testing for acceptance of Kleene closure of alphabet (10/25/04)
- Re: Testing for acceptance of Kleene closure of alphabet (10/22/04)
- Re: Testing for acceptance of Kleene closure of alphabet (10/22/04)
- proof by contradiction (10/17/04)
- Testing for acceptance of Kleene closure of alphabet (10/17/04)
- Re: Proving a regular language to be infinite (10/17/04)
- Re: Proving a regular language to be infinite (10/17/04)
- Re: Proving a regular language to be infinite (10/17/04)
- Re: Proving a regular language to be infinite (10/16/04)
- Re: pumping lemma (third try) (10/16/04)
- Proving a regular language to be infinite (10/16/04)
- Re: pumping lemma (third try) (10/15/04)
- Re: pumping lemma (third try) (10/15/04)
- Re: pumping lemma (third try) (10/14/04)
- Re: pumping lemma (third try) (10/14/04)
- pumping lemma (third try) (10/14/04)
- Re: pumping lemma (second try) (10/14/04)
- pumping lemma (second try) (10/13/04)
Matthew Skala
- Re: limit speed of computation - Digital vs. Quantum (10/15/04)
Michael J. Fromberger
- Re: Multiple errors recognition (10/22/04)
Michael N. Christoff
- Re: Zenkin's paper on Cantor (10/03/04)
Mike Atkinson
- CATS'05 Accepted Papers (10/19/04)
Mike Oliver
- Re: Primitive recursive vs recursive at the base of the arithmetical hierarchy. (10/09/04)
- Re: Primitive recursive vs recursive at the base of the arithmetical hierarchy. (10/08/04)
Mitch Harris
- Re: Problem creating a regular expression. (10/28/04)
- Re: complexity of matrix operations (10/14/04)
- Re: examples of EXPTIME (10/07/04)
No Way
- Re: Zenkin's paper on Cantor (10/01/04)
Paul Boca
- FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 15 October 2004) (10/10/04)
Paul E. Black
- Re: Sum of n numbers 0..1 (10/22/04)
- Re: Graph theory nomenclature (10/15/04)
Paul Victor Birke
- Re: New book: Stochastic Local Search --- Foundations and Applications (10/08/04)
- Re: New book: Stochastic Local Search --- Foundations and Applications (10/08/04)
Peter R. Douglass
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/06/04)
peter_douglass
- Re: Zenkin's paper on Cantor (10/03/04)
- Re: Zenkin's paper on Cantor (10/02/04)
- Re: Zenkin's paper on Cantor (10/02/04)
Plamen Petrov
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/14/04)
Poulpes_at_gmail.com
- Re: P vs NP craziness & Oracle's Predictions (10/30/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 (10/29/04)
- Re: [OT]: Another claim for P=NP & Brother EZzz is watching U! (10/28/04)
- Re: Another claim for P=NP & Selmer's humor (10/28/04)
Ralph Hartley
- Re: random number generation & predictability (10/15/04)
- Re: limit speed of computation - Digital vs. Quantum (10/15/04)
- Re: limit speed of computation - Digital vs. Quantum (10/14/04)
- Re: Zenkin's paper on Cantor (10/07/04)
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/01/04)
Rex Butler
- Primitive recursive vs recursive at the base of the arithmetical hierarchy. (10/08/04)
Rick Decker
- Re: Testing for acceptance of Kleene closure of alphabet (10/17/04)
- Re: Proving a regular language to be infinite (10/16/04)
- Re: Proving a regular language to be infinite (10/16/04)
- Re: pumping lemma (third try) (10/15/04)
- Re: pumping lemma (third try) (10/14/04)
- Re: pumping lemma (third try) (10/14/04)
- Re: pumping lemma (third try) (10/14/04)
- Re: pumping lemma (second try) (10/13/04)
Robert Low
- Re: Largest provable BB(N)? (10/28/04)
- Re: Largest provable BB(N)? (10/28/04)
- Re: Another claim for P=NP (10/22/04)
- Re: Another claim for P=NP (10/20/04)
- Re: Another set with cardinality |Z| (10/01/04)
- Re: Zenkin's paper on Cantor (10/01/04)
Ross A. Finlayson
- Re: Zenkin's paper on Cantor (10/02/04)
- Re: Zenkin's paper on Cantor (10/01/04)
Russell Easterly
- Re: Zenkin's paper on Cantor (10/02/04)
Russell Wallace
- Re: Largest provable BB(N)? (10/29/04)
- Re: Largest provable BB(N)? (10/28/04)
- Re: Largest provable BB(N)? (10/28/04)
- Largest provable BB(N)? (10/28/04)
Scott Brandt
- RTSS 2004 Call for Participation (Note: Hotel Deadline Oct. 29) (10/25/04)
SD
- Re: Is this proof right? (10/25/04)
Shmuel (Seymour J.) Metz
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (10/29/04)
Smalmatskungen
- Nevermind & sorry for the stuttering (10/16/04)
- Proof of lower bound for sorting shoes. (10/15/04)
- Proof of lower bound for sorting shoes. (10/15/04)
- Proof of lower bound for sorting shoes. (10/15/04)
smangano_at_ureach.com
- Re: Proof that this assertion about heaps is true (10/19/04)
- Proof that this assertion about heaps is true (10/18/04)
tchow_at_lsa.umich.edu
- Re: P vs NP craziness & Oracle's Predictions (10/30/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 (10/29/04)
- Re: Largest provable BB(N)? (10/29/04)
- Re: Largest provable BB(N)? (10/28/04)
- Re: Largest provable BB(N)? (10/28/04)
- Re: P vs NP craziness (10/28/04)
- Re: Can Human Level A.I. be implemented? (10/25/04)
- Re: random number generation & predictability (10/15/04)
- Re: random number generation & predictability (10/14/04)
- Re: complexity of matrix operations (10/13/04)
- Re: examples of EXPTIME (10/06/04)
- Re: Any NP optimization problems that don't reduce to decision problems? (10/01/04)
tcs_chen
- Can Human Level A.I. be implemented? (10/25/04)
Thomas A. Li
- Wanted: Nondeterministic Turing Machine of Polynomial Time Complexity (10/27/04)
Thomas Cormen
- Re: Large scale sorting (10/01/04)
Thomas Stuetzle
- New book: Stochastic Local Search --- Foundations and Applications (10/08/04)
Tim Peters
- Re: Another set with cardinality |Z| (10/02/04)
- Re: Zenkin's paper on Cantor (10/01/04)
- Re: Another set with cardinality |Z| (10/01/04)
Torben Ægidius Mogensen
- Re: Testing for acceptance of Kleene closure of alphabet (10/26/04)
- Re: Testing for acceptance of Kleene closure of alphabet (10/25/04)
- Re: Testing for acceptance of Kleene closure of alphabet (10/18/04)
- Re: random number generation & predictability (10/15/04)
Torkel Franzen
- Re: P vs NP craziness & Oracle's Predictions (10/30/04)
- Re: Zenkin's paper on Cantor (10/06/04)
- Re: Zenkin's paper on Cantor (10/03/04)
- Re: Zenkin's paper on Cantor (10/03/04)
- Re: Zenkin's paper on Cantor (10/03/04)
user_at_domain.invalid
- Sum of n numbers 0..1 (10/21/04)
V.Z.Nuri
- **theory-edge** mailing list (10/12/04)
- cnf/dnf approximation (10/12/04)
Valmari Antti
- Re: Semantics of LTS (10/25/04)
- Re: Semantics of LTS (10/22/04)
Victor Eijkhout
- Re: complexity of matrix operations (10/18/04)
Vitorino RAMOS
- HIS 2004 final call for papers (10/01/04)
Zhongtao Zhu
- Re: generating random phrases with semantics. (10/06/04)

Last message date: 10/30/04
Archived on: 10/31/04 CET

236 messages sorted by: [ date ] [ thread ] [ subject ]

comp.theoryBy Author

comp.theory
By Author