comp.theory
By Thread
236 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 09/30/04
Ending: 10/30/04
- Re: Different size infinities? HERC777 (10/29/04)
- weighted tree generation Diego (10/29/04)
- Largest provable BB(N)? Russell Wallace (10/28/04)
- P vs NP craziness Anonymous (10/28/04)
- Problem creating a regular expression. LK (10/27/04)
- Wanted: Nondeterministic Turing Machine of Polynomial Time Complexity Thomas A. Li (10/27/04)
- Turing Machine to Train Sets Converter André Betz (10/26/04)
- tree generation Jaroslaw Zola (10/26/04)
- RTSS 2004 Call for Participation (Note: Hotel Deadline Oct. 29) Scott Brandt (10/25/04)
- Can Human Level A.I. be implemented? tcs_chen (10/25/04)
- [OT]: Another claim for P=NP Kent Paul Dolan (10/25/04)
- Is this proof right? Alexander T. Hamming (10/24/04)
- Semantics of LTS Jean-S?bastien Bolduc (10/22/04)
- Complexity question regarding randomized approximation algorithm Edmond (10/21/04)
- Multiple errors recognition Ernest (10/21/04)
- Sum of n numbers 0..1 user_at_domain.invalid (10/21/04)
- Re: Turing Machine with faults, failures and recovery Alex Vinokur (10/21/04)
- Re: Another claim for P=NP Alex Hunsley (10/20/04)
- CATS'05 Accepted Papers Mike Atkinson (10/19/04)
- Proof that this assertion about heaps is true smangano_at_ureach.com (10/18/04)
- A Note on Boolean Satisfiability. conesetter (10/18/04)
- proof by contradiction Mark \(The WannaBe\) (10/17/04)
- Testing for acceptance of Kleene closure of alphabet Mark \(The WannaBe\) (10/17/04)
- Proving a regular language to be infinite Mark \(The WannaBe\) (10/16/04)
- complexity of computing polynomials proof Ken (10/16/04)
- Proof of lower bound for sorting shoes. Smalmatskungen (10/15/04)
- Proof of lower bound for sorting shoes. Smalmatskungen (10/15/04)
- Proof of lower bound for sorting shoes. Smalmatskungen (10/15/04)
- Graph theory nomenclature Jón Fairbairn (10/15/04)
- Special Case of Sat Andreas Morgenstern (10/15/04)
- pumping lemma (third try) Mark \(The WannaBe\) (10/14/04)
- random number generation & predictability Alex Hunsley (10/14/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Plamen Petrov (10/14/04)
- On the undecidability of L_d manikraina_at_gmail.com (10/14/04)
- pumping lemma (second try) Mark \(The WannaBe\) (10/13/04)
- Re: limit speed of computation - Digital vs. Quantum Kent Paul Dolan (10/13/04)
- Call for Papers, Data Compression Conference 2005, March 29-31, Snowbird, UT DCC (10/13/04)
- complexity of matrix operations mareg_at_mimosa.csv.warwick.ac.uk (10/13/04)
- **theory-edge** mailing list V.Z.Nuri (10/12/04)
- cnf/dnf approximation V.Z.Nuri (10/12/04)
- CFP: LICS 2005 - 12th IEEE Symposium on Logic In Computer Science Alex Simpson (10/11/04)
- Fibonacci connection between Huffman codes and Wythoff array Alex Vinokur (10/10/04)
- FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 15 October 2004) Paul Boca (10/10/04)
- Prefix Averages Problem Frank (10/10/04)
- AVL to Red-Black Tree Farhang Farid (10/09/04)
- New book: Stochastic Local Search --- Foundations and Applications Thomas Stuetzle (10/08/04)
- Primitive recursive vs recursive at the base of the arithmetical hierarchy. Rex Butler (10/08/04)
- Re: examples of EXPTIME d. lee (10/06/04)
- Re: help: probability of dropping k items into N buckets Lars Luthman (10/06/04)
- generating random phrases with semantics. Lucas Zimmerman (10/05/04)
- Re: Olcott is cured of CrackPottery! (Halting Problem) Charlie-Boo (10/04/04)
- Re: (N)Linspace Jose Juan Mendoza Rodriguez (10/03/04)
- Performance of matching algorithms in practice Daniel Marx (10/03/04)
- Re: Proof of inherent ambiguity? Harlan Messinger (10/02/04)
- Re: Another set with cardinality |Z| Tim Peters (10/01/04)
- Re: Any NP optimization problems that don't reduce to decision problems? tchow_at_lsa.umich.edu (10/01/04)
- HIS 2004 final call for papers Vitorino RAMOS (10/01/04)
- Large scale sorting burning trident (09/30/04)
- Re: Zenkin's paper on Cantor David C. Ullrich (09/30/04)
Last message date: 10/30/04
Archived on: 10/31/04 CET
236 messages sorted by: [ author ] [ date ] [ subject ]
