comp.theory
By Thread
3753 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 07/15/04
Ending: 08/31/04
- converting LR(k) grammars to LR(1) Ralph Boland (08/29/04)
- Raatikainen's critique of Chaitin Craig Feinstein (08/29/04)
- Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
- What is this Sorting Algorithm's correct name? Adam Speight (08/27/04)
- Path finding (newbie) Max (08/25/04)
- Wiki for open problems in Graph Drawing Marcus Raitner (08/25/04)
- Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/25/04)
- Papillion NE genius NOMINATED for NOBRAIN Prize!!!! [was: What is the Result from Invoking this Halt Function?] >parr\(*> (08/24/04)
- Generate random list of permutations, no repetition Fred Ma (08/24/04)
- Help :: Random graph Ann (08/24/04)
- Re: Hamiltonian Path on Bipartite Graphs Bilal Sallakh (08/24/04)
- Need of Paper ! ratnik (08/23/04)
- [PO] The problem of proving a negative is mostly in the prover Kent Paul Dolan (08/23/04)
- Shortest Path with Neg Weights RamboTrout (08/22/04)
- [PO] serendipity Kent Paul Dolan (08/22/04)
- Refutation of the Halting Problem (Special Request) Peter Olcott (08/22/04)
- request for ideas Craig Feinstein (08/22/04)
- FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 15 October 2004) Paul Boca (08/22/04)
- CFP: RTSS 2004 Work-In-Progress Session Scott Brandt (08/21/04)
- Giving up Baldus Quinones (08/21/04)
- Misthreaded reply to: Troll-sickness outbreak in Papillion Kent Paul Dolan (08/20/04)
- Q-computation from Landau-Zener hopping? Lou Pagnucco (08/19/04)
- Expressiveness of petri nets vs. pi-calculus vasiliscul_at_hotmail.com (08/19/04)
- A brief philosophical observation Michael J. Fromberger (08/19/04)
- Re: Attempt to halt the refuting problem Kent Paul Dolan (08/19/04)
- help with graph theory (?) problem Jeff S (08/18/04)
- Quicksort Partition correctness Lior Bobrov (08/18/04)
- UNSAT problem David Janssens (08/18/04)
- Dominance Tree Sorts Richard Harter (08/17/04)
- Error in Turings paper 'On computable numbers, with an application to the Entscheidungsproblem ' >parr\(*> (08/17/04)
- Troll 1, Usenet 0 Kent Paul Dolan (08/16/04)
- [SAT] Efficient Transitive Closure? Lash Rambo (08/16/04)
- Can returning a value change the value itself (in the Halting Problem) Peter Olcott (08/15/04)
- OT --- all this Halting Problem Stuff. Robert J. Kolker (08/15/04)
- disjoint combinations with common members NoSpam (08/15/04)
- Dynamic Programming Problem Diglio A. Simoni (08/15/04)
- book, reference for algorithm m sergei (08/15/04)
- HiCOMB 2005 CFP Michael A. Langston (08/15/04)
- Analysis of Algorithms Diglio A. Simoni (08/14/04)
- question about GRASP/RELSAT stack management Wcncom (08/13/04)
- basis for directed graph, more efficient algorithm? shaddin (08/13/04)
- Efficient Way to Eliminate Supersets? Lash Rambo (08/13/04)
- review at ACM's reviews.com Marcin Bienkowski (08/12/04)
- java graph libraries Stop Spam (08/12/04)
- Turing's paper on the wwweb? r.e.s. (08/12/04)
- Attempt to Refute the Halting Problem's Refutation newstome_at_comcast.net (08/12/04)
- The Fourth Wave (was: The Future, Space Travel, and Immortality) Alfred Einstead (08/11/04)
- halting problem remarks The City of Defensive Illusion (08/10/04)
- Re: Quadtree rotations? Arthur J. O'Dwyer (08/09/04)
- Best-fit algorithm complexity reduced to O(lg(N)). Dhruv Matani (08/09/04)
- Duplicate checking Piotr Wyderski (08/09/04)
- Rado's Sigma and the Halting Problem for Programs r.e.s. (08/09/04)
- Implementation of weierstrass function Phillip Kehler (08/08/04)
- "Z -> z versus Z -> z e" - sole thread for future discussion/postings David Halitsky (08/08/04)
- Graph Problem Mohammad Hossein Rohban (08/08/04)
- Question re the (non-equivalence) of A -> a and A -> a e (e the empty string) David Halitsky (08/08/04)
- real and complex solutions of systems of multivariate polynomials Marco (08/07/04)
- Halting Tangent: abuses of C++ Owen Jacobson (08/06/04)
- ssc. (was) Re: What is the Result from Invoking this Halt Function? rickthecockroach (08/05/04)
- Acknowledgment of Dr. Donald Knuth's role in formulation of the "DAG/POSET" conjecture David Halitsky (08/05/04)
- TSP Approximation & Routing Sk prasad (08/04/04)
- Density of a random DAG ? David J. Pearce (08/04/04)
- Halting Problem: Give up Karl Heinz Buchegger (08/03/04)
- AUTOMATA 2004: call for active participation Thomas Worsch (08/03/04)
- Shortest path algorithm in digraph with multiple goals? Dr Chaos (08/02/04)
- Clarification of my disproof of the disproof Marc Goodman (08/02/04)
- Unification Question Jorge Adriano (08/02/04)
- Searching a treap Zhao-Jie (08/02/04)
- Re: Algorithm ideas Kent Paul Dolan (08/01/04)
- latest siggie file entry Kent Paul Dolan (08/01/04)
- Foundation for a Formal Refutation of the Original Halting Problem? Peter Olcott (08/01/04)
- Re: TIME Complexity of path computation Alex Vinokur (07/31/04)
- space complexity Matt (07/31/04)
- Fast Binary-to-Decimal Conversion Algorithms? Simon G Best (07/31/04)
- Assalut problem Raghar (07/30/04)
- Name This Relationship (SAT-related) Lash Rambo (07/30/04)
- My solution to the Halting Problem: Question for Peter Olcott Marc Goodman (07/30/04)
- What is the Result from Invoking this Halt Function? Peter Olcott (07/30/04)
- Hoare Logic Textbook? Joe Hendrix (07/30/04)
- smallest alphabet size for a universal 2-tag system? r.e.s. (07/29/04)
- SEARCH vs. DELETE Zhao-Jie (07/29/04)
- The proof that I was referring to is on the website Peter Olcott (07/29/04)
- Implementing subsequential transducers Marcin Junczys-Dowmunt (07/28/04)
- Re: RCI (reentrant cortical integration) Model of the cerebral cortex Arthur T. Murray (07/28/04)
- Subset sum problem Zhao-Jie (07/28/04)
- Smallest intersection Max (07/28/04)
- Re: State-of-the-art in RNN learning Eray Ozkural exa (07/28/04)
- Linear constraint formulation Fan Zhang (07/28/04)
- Can they be expressed as regular expression? Shu Yan Chan (07/28/04)
- Columnsort woes. Dhruv Matani (07/27/04)
- SBMF 2004: Call for Papers Alexandre Mota (07/27/04)
- Re: The Future, Space Travel, and Immortality Mark Jones (07/27/04)
- Re: transform knapsack problem -> programming code >parr\(*> (07/26/04)
- Delaunay triangulation and TSP, counterexample Mikko Kauppila (07/26/04)
- Re: On The Proper Formulation Of The Halting Problem |-|erc (07/26/04)
- Yet another Attempt at Disproving the Halting Problem Peter Olcott (07/26/04)
- TSP approximation algorithms Mikko Kauppila (07/25/04)
- Refutation of the DisProof of the Halting Problem Peter Olcott (07/25/04)
- Re: Self-Rejuvenating Immortal Artificial Intelligence Arthur T. Murray (07/25/04)
- Functions, the complex plane and Riemann surfaces. conesetter (07/25/04)
- amano/maruoka proof/paper on limited negation in monotone circuits V.Z.Nuri (07/25/04)
- Re: A call to automated proof verification systems Stephan Schulz (07/24/04)
- I wish to apologise to Peter Olcott for making a sillly threat >parr\(*> (07/24/04)
- Precission in the games. Raghar (07/24/04)
- Reminder: SIGACT News Dealine Aug 1 David J. Haglin (07/23/04)
- Question about Gentzen's LK system and cut elimination Burning Trident (07/22/04)
- Graphs, planarity and dual graphs dt_rules_at_bol.com.br (07/22/04)
- Neural Network Resources Site: www.neoxi.com Info (07/21/04)
- Re: Is Binary BrainF*** Turing-complete? r.e.s. (07/21/04)
- Is unsorted DB searching in NP? d. lee (07/20/04)
- accepting vs. recognizing Moritz (07/20/04)
- fundamentals balaji (07/19/04)
- Spy on Homer fondling Maggie Simpson's private parts Socks (07/19/04)
- French Universities Asif Jamshed (07/18/04)
- Spy on Homer fondling Maggie Simpson's private parts Socks (07/18/04)
- Re: What form of matter will last the longest? |-|erc (07/18/04)
- knight's tour ivan danicic (07/17/04)
- Conversion between RB tree Binary search tree and AVL tree Efi Merdler (07/17/04)
- using bottom-up tree automata to "construct" trees Jecolbe (07/17/04)
- Information Evolution Andrew S. Morrison (07/16/04)
- Re: Disproof of the Halting Problem's Conclusion No Way (07/16/04)
- Geometric computational problem Michal (07/15/04)
- Re: paper claiming p=np and soap bubbles Dr Chaos (07/15/04)
- Re: Raatikainen's Complexity Complex Aatu Koskensilta (07/15/04)
- Re: Groupthink Bryan Olson (07/15/04)
- Re: Infinity can not exist Tracy Yucikas (07/15/04)
- Re: Can you find anything wrong with this solution to the Halting Problem? Peter Olcott (07/15/04)
- Re: VOTE on whether 1/oo = 0 |-|erc (07/15/04)
Last message date: 08/31/04
Archived on: 08/31/04 CEST
3753 messages sorted by: [ author ] [ date ] [ subject ]
