comp.theory
By Thread
602 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 10/31/04
Ending: 11/30/04
- proof of non context-free languages!!sos!! c c (11/30/04)
- sampling algoritm based on indexed constrains Albretch (11/29/04)
- Effective Email Marketing Thomas Brown (11/29/04)
- Rules Engines - Best Practices? Cindi Jenkins (11/29/04)
- Program Verification and Semantics: Further Work, London, UK, 2 December 2004 (Reminder!) Prof Jonathan Bowen (11/28/04)
- Principles of Programming Languages 2005 Call for Participation David Walker (11/26/04)
- Re: DISPROOF of the uncountability of reals Chakravarthi (11/26/04)
- Strings of 0's Length 2^n Jake Johnson (11/25/04)
- Probabilistic model checking and counterexamples Steven (11/24/04)
- Executive Information Systems Mat Nicholls (11/23/04)
- Re: Infinite number of people toss a coin infinite times Stephen Harris (11/23/04)
- postdoc in Algorithms, Bergen Fedor Fomin (11/22/04)
- Difficult Running Time Robert Jacobson (11/22/04)
- FroCoS 2005 - 1st Call for Papers Bernhard Gramlich (11/19/04)
- Being NP is decidable? Wei Luo (11/19/04)
- (Possibly) New model of compution FunnyGuy (11/18/04)
- CFP: 28th German Conference on AI (KI 2005) Jan Murray (11/18/04)
- Computer language and category theory Jon Haugsand (11/18/04)
- pumping lemma question!!sos! c c (11/18/04)
- Classification of TCS ratnik (11/18/04)
- The class PLS Blake Manner (11/18/04)
- New Model of Computation FunnyGuy (11/17/04)
- Computability: Recovering Delta_0 from Sigma_1? Rex Butler (11/17/04)
- Data structure for finding min of set intersection Adam Morrison (11/15/04)
- Re: Skip School, Get 50,000 Volts Bonzidave_at_ntlworld.com (11/15/04)
- Proof that Languages are Not Turing Equivalent Toby Donaldson (11/13/04)
- What is the rank of CS theory conferences? Yong Zhang (11/13/04)
- solving SAT: generating extended resolution proofs using techniques for resolution Will Naylor (11/13/04)
- Push relabel modification to show used paths (maxflow problem) Mirko Knoll (11/12/04)
- Program Verification and Semantics: Further Work, London, UK, 2 December 2004 Prof Jonathan Bowen (11/12/04)
- k-Clique for small fixed k Ken (11/11/04)
- Re: Can Human Level A.I. be implemented? Malcolm (11/11/04)
- A reply to Moews on Diaby contradicting Yannakakis Moustapha (11/11/04)
- CFP: CP-AI-OR'05 - first call for papers Willem-Jan van Hoeve (11/11/04)
- Question on Order of Growth of Function Reza Ferry (11/11/04)
- Turing Machien Debugging Jeff (11/10/04)
- hmm and irregularly spaced samples me (11/10/04)
- Decision Problem and Optimization Problem Deokhwan Kim (11/10/04)
- Re: P vs NP craziness Eray Ozkural exa (11/10/04)
- Re: [OT]: Another claim for P=NP Eray Ozkural exa (11/09/04)
- Re: Another claim for P=NP & Selmer's humor Eray Ozkural exa (11/09/04)
- minimum set cover with k set news.usc.edu (11/09/04)
- Hypercomputation is physically possible Poulpes_at_gmail.com (11/09/04)
- Turing Machine Examples Jeff (11/09/04)
- Asymptotic Equipartition Property massimiliano1999_at_supereva.it (11/08/04)
- Postdoctoral research position in algorithms Paul Goldberg (11/05/04)
- Re: Different size infinities? HERC777 (11/05/04)
- Re: **theory-edge** mailing list & ANDY RAND BACKDOOR Poulpes_at_gmail.com (11/04/04)
- entropy (random bits) question Clayton Weaver (11/04/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Han de Bruijn (11/02/04)
- The Halting Problem Martin Johansen (11/01/04)
- single-combinator basis with direct algebraic characterisation? r.e.s. (11/01/04)
- P = SPACE(n) Ken (11/01/04)
- Shortest Path finding with mutating weights Remesh Job (11/01/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 Will Naylor (11/01/04)
- Re: P vs NP craziness & Oracle's Predictions Nicholas King (10/31/04)
Last message date: 11/30/04
Archived on: 11/30/04 CET
602 messages sorted by: [ author ] [ date ] [ subject ]
