comp.theory
By Thread
215 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 12/02/03
Ending: 12/31/03
- Complexity of computing normal subgroup Pinaki Mitra (12/31/03)
- Is this automata universal? Andre (12/30/03)
- strongly connected graph Sebi (12/29/03)
- CFP: COCOON 2004 COCOON 2004 (12/29/03)
- distinguish structures blind (12/27/03)
- Re: * * * Best SAT algorithm? * * * Wcncom (12/26/03)
- Cardinality of Set of Computable Numbers? Russell Easterly (12/26/03)
- An uncomputability conjecture Antti Ylikoski (12/22/03)
- x$y | #a(x) = #b(y) Louvino (12/21/03)
- ait and meaning blind (12/19/03)
- C++ Simulator of a Universal Turing Machine Alex Vinokur (12/19/03)
- Hamilton circles in grid graph ,NP=P Lu Bin (12/19/03)
- ANN: Temporal/Causal rule generation, and more Kamran Karimi (12/18/03)
- Machine Learning for Signal Processing 2004 Machine Learning for Signal Processing 2004 (12/17/03)
- [Q]: Tranform from TM to TagSystem without changing binary to unary? Andre (12/16/03)
- Turing-recognizable (or recursively enumerable) and Turing-decidable (or recursive) Languages shu (12/16/03)
- CFP: Workshop on Causality and Causal Discovery Kamran Karimi (12/15/03)
- P = NP, P != NP decidable? David Turner (12/15/03)
- Help with undecidable problem Francesco Gallarotti (12/15/03)
- SAT's topology gai luron (12/15/03)
- question:comparision between Quicksort and Binary search tree meetgjr (12/14/03)
- Quieres ganar dinero desde tu casa lee esto...... Oscar22pr (12/14/03)
- Algebraic Topology and Distributed Computing Michael N. Christoff (12/13/03)
- A* Algorithm from AIMA Gagan (12/13/03)
- CFP: LICS 2004: 2nd Call Alex Simpson (12/13/03)
- Is this an NP complete problem? formyfamilyandgoodfriend_at_yahoo.com.cn (12/13/03)
- Finding the Maximum Number of Node-disjoint Cycles Glenn C. Rhoads (12/12/03)
- How transform from Tag system to cyclic tag system? Andre (12/11/03)
- Open positions in algorithms and optimization Vijay Kumar (12/10/03)
- CPAIOR'04: Final call for papers Michel Rueher (12/10/03)
- randomized adaptive-online adversaries, online computations theory Marcin Bieñkowski (12/09/03)
- Turing Machine to Tag System Converter Andre (12/08/03)
- A newbie question regarding P Uccai Siravas (12/08/03)
- Final Call for Participation: AI+MATH 04 George Katsirelos (12/08/03)
- Turing machine simulator, "Turing's World" Chris Young (12/06/03)
- Ignore quoted string in a regular expression nick (12/06/03)
- Question: the modern/state-of-the-art P?=NP research Antti Ylikoski (12/05/03)
- is this hard? randy (12/05/03)
- Re: Exercises for "Fundamentals of theoretical computer science" Michael N. Christoff (12/04/03)
- minimal spanning tree in O(V+E) with Prim Matt Greer (12/03/03)
- graph dimension Rich May (12/03/03)
- ALENEX'04 accepted papers Lars A. Arge (12/03/03)
- Is this an NP complete problem? formyfamilyandgoodfriend_at_yahoo.com.cn (12/02/03)
Last message date: 12/31/03
Archived on: 12/31/03 CET
215 messages sorted by: [ author ] [ date ] [ subject ]
