comp.theory
By Subject

830 messages sorted by: [ author ] [ date ] [ thread ]

Starting: 08/31/04
Ending: 09/30/04

(N)Linspace
- Jym (09/29/04)
> > > > matt parker alias erikvan lunsen@yahoo.com matt parker alias ericvon lunsen hout@yahoo.com matt parker alias erickvanlinthout@yahoo.com matt parker alias evonlunsen herzog@yahoo.com matt parker alias erik vonlint hout@yahoo.com matt parker al
- matt parker (09/08/04)
[?] L = {a^m b^n c^mn} for aaabbcccccc
- Marc Goodman (09/13/04)
- Quinn Tyler Jackson (09/13/04)
- Marc Goodman (09/13/04)
[Herc] Halting Problem Final Conclusion
- |-|erc (09/11/04)
- Kent Paul Dolan (09/11/04)
- |-|erc (09/11/04)
- Kent Paul Dolan (09/10/04)
- |-|erc (09/10/04)
- |-|erc (09/10/04)
- Kent Paul Dolan (09/10/04)
- Simon G Best (09/10/04)
- |-|erc (09/10/04)
- Simon G Best (09/10/04)
- Wally Anglesea (09/10/04)
- |-|erc (09/10/04)
- |-|erc (09/10/04)
- Simon G Best (09/10/04)
- Simon G Best (09/10/04)
- |-|erc (09/10/04)
- Kent Paul Dolan (09/10/04)
- |-|erc (09/09/04)
- Kent Paul Dolan (09/09/04)
[OT] : THE HALTING GODDAMN PROBLEM
- Kent Paul Dolan (09/04/04)
[OT] Comparitive plague-posters (was): Listen up, FUCKWADS!!
- Kent Paul Dolan (09/03/04)
[PO] Can a regular Turing Machine provide Protected Memory?
- Chris Menzel (09/06/04)
- David C. Ullrich (09/05/04)
- Peter Olcott (09/05/04)
- Robert Low (09/04/04)
- >parr\(*> (09/04/04)
- >parr\(*> (09/04/04)
- G. Frege (09/04/04)
- Simon G Best (09/04/04)
- Will Twentyman (09/04/04)
- Will Twentyman (09/04/04)
- Peter Olcott (09/04/04)
- David C. Ullrich (09/04/04)
- Peter Olcott (09/04/04)
- Peter Olcott (09/04/04)
- David C. Ullrich (09/04/04)
- Marc Goodman (09/04/04)
- Keith Frayne (09/04/04)
- Peter Olcott (09/04/04)
- Acme Diagnostics (09/04/04)
- >parr\(*> (09/03/04)
- Simon G Best (09/03/04)
- Peter Olcott (09/03/04)
- Peter Olcott (09/03/04)
- Simon G Best (09/03/04)
- Acme Diagnostics (09/03/04)
- Bryan Olson (09/03/04)
- Peter Olcott (09/03/04)
- Peter Olcott (09/03/04)
- Peter Olcott (09/03/04)
- Peter Olcott (09/03/04)
- Will Twentyman (09/02/04)
- The Ghost In The Machine (09/02/04)
- Will Twentyman (09/02/04)
- Simon G Best (09/02/04)
- Jym (09/02/04)
- Bryan Olson (09/02/04)
- newstome_at_comcast.net (09/02/04)
- Marc Goodman (09/02/04)
- Will Twentyman (09/02/04)
- Peter Olcott (09/02/04)
- >parr\(*> (09/01/04)
- Acme Diagnostics (09/01/04)
- Will Twentyman (09/01/04)
- Marc Goodman (09/01/04)
- Acme Diagnostics (09/01/04)
- Will Twentyman (09/01/04)
- Marc Goodman (09/01/04)
- Marc Goodman (09/01/04)
- Howard (09/01/04)
- Simon G Best (09/01/04)
- Will Twentyman (09/01/04)
- Jym (09/01/04)
- David C. Ullrich (09/01/04)
- David C. Ullrich (09/01/04)
- David C. Ullrich (09/01/04)
- Jym (09/01/04)
- Mitch Harris (09/01/04)
- Robert Low (09/01/04)
- G. Frege (09/01/04)
- Peter Olcott (09/01/04)
- Peter Olcott (09/01/04)
- Peter Olcott (09/01/04)
- Peter Olcott (09/01/04)
- Bryan Olson (09/01/04)
- Peter Olcott (09/01/04)
- Peter Olcott (09/01/04)
[PO] Halting Problem Final Conclusion
- Kent Paul Dolan (09/14/04)
- Rob Duncan (09/14/04)
- Kent Paul Dolan (09/13/04)
- Acme Diagnostics (09/13/04)
- Rob Duncan (09/13/04)
- Wally Anglesea (09/11/04)
- |-|erc (09/11/04)
- Wally Anglesea (09/11/04)
- |-|erc (09/10/04)
- |-|erc (09/10/04)
- Kent Paul Dolan (09/10/04)
- Howard (09/10/04)
- Wally Anglesea (09/10/04)
- |-|erc (09/10/04)
- Simon G Best (09/10/04)
- |-|erc (09/10/04)
- Simon G Best (09/09/04)
- |-|erc (09/09/04)
- Simon G Best (09/09/04)
- |-|erc (09/09/04)
- Simon G Best (09/08/04)
- Bryan Olson (09/08/04)
- |-|erc (09/08/04)
- Simon G Best (09/07/04)
- |-|erc (09/07/04)
- Simon G Best (09/07/04)
- G. Frege (09/07/04)
- |-|erc (09/07/04)
- Peter Olcott (09/07/04)
- |-|erc (09/07/04)
- |-|erc (09/07/04)
- G. Frege (09/07/04)
- Abdulaziz Ghuloum (09/07/04)
- G. Frege (09/06/04)
- Arthur J. O'Dwyer (09/06/04)
- Abdulaziz Ghuloum (09/06/04)
- G. Frege (09/06/04)
- The Ghost In The Machine (09/06/04)
- Peter Olcott (09/06/04)
- Abdulaziz Ghuloum (09/06/04)
- David C. Ullrich (09/06/04)
- G. Frege (09/06/04)
- G. Frege (09/06/04)
- G. Frege (09/06/04)
- G. Frege (09/06/04)
- David C. Ullrich (09/06/04)
- Peter Olcott (09/06/04)
- Peter Olcott (09/06/04)
- Abdulaziz Ghuloum (09/06/04)
- Amr Sabry (09/06/04)
- Marc Goodman (09/06/04)
- Abdulaziz Ghuloum (09/06/04)
- G. Frege (09/06/04)
- Abdulaziz Ghuloum (09/06/04)
- G. Frege (09/06/04)
- G. Frege (09/06/04)
- Abdulaziz Ghuloum (09/06/04)
- Tim Peters (09/05/04)
[PO] halting problem reading comprehension
- stephen_at_nomail.com (09/08/04)
- David C. Ullrich (09/06/04)
- Will Twentyman (09/05/04)
- Peter Olcott (09/05/04)
- Peter Olcott (09/05/04)
- David C. Ullrich (09/05/04)
- David C. Ullrich (09/05/04)
- David C. Ullrich (09/05/04)
- Peter Olcott (09/05/04)
- Peter Olcott (09/05/04)
- Peter Olcott (09/05/04)
- David C. Ullrich (09/05/04)
- David C. Ullrich (09/05/04)
- David C. Ullrich (09/05/04)
- Peter Olcott (09/05/04)
- Tim Peters (09/05/04)
- Acid Pooh (09/04/04)
- Simon G Best (09/04/04)
- >parr\(*> (09/04/04)
- Peter Olcott (09/04/04)
- Robert Low (09/04/04)
- George Greene (09/04/04)
- George Greene (09/04/04)
- Peter Olcott (09/04/04)
- David C. Ullrich (09/04/04)
- David C. Ullrich (09/04/04)
- Peter Olcott (09/04/04)
- Peter Olcott (09/04/04)
- Bryan Olson (09/04/04)
- Kent Paul Dolan (09/03/04)
- Kent Paul Dolan (09/03/04)
- Simon G Best (09/03/04)
- Jym (09/03/04)
- Chris Menzel (09/03/04)
- Robert Low (09/03/04)
- Peter Olcott (09/03/04)
- Peter Olcott (09/03/04)
- Jym (09/03/04)
- Robert Low (09/03/04)
- >parr\(*> (09/03/04)
- Peter Olcott (09/03/04)
- The Ghost In The Machine (09/02/04)
- G. Frege (09/02/04)
- Simon G Best (09/02/04)
- Peter Olcott (09/02/04)
- G. Frege (09/01/04)
- Simon G Best (09/01/04)
- The Ghost In The Machine (09/01/04)
- Mitch Harris (09/01/04)
- Peter Olcott (09/01/04)
- Mitch Harris (09/01/04)
- Peter Olcott (09/01/04)
- Peter Olcott (09/01/04)
[PO] halting problem reading comprehension)
- Marc Goodman (09/03/04)
[PO] halting problem: existence proofs
- Peter Olcott (09/01/04)
[SAT] Efficient Transitive Closure?
- Stephan Schulz (09/14/04)
A Review of Chaitin's e-book "Omega"
- Eray Ozkural exa (09/07/04)
A variant of Traveling Salesman Problem
- fei (09/14/04)
- fei (09/13/04)
- Jym (09/13/04)
- Kent Paul Dolan (09/13/04)
- stephen_at_nomail.com (09/13/04)
- Jym (09/13/04)
- fei (09/13/04)
- Kent Paul Dolan (09/13/04)
- fei (09/12/04)
A way for P!=NP
- Robert Low (09/24/04)
- Eray Ozkural exa (09/24/04)
- Marc Goodman (09/23/04)
- Robert Low (09/23/04)
- Eray Ozkural exa (09/23/04)
- Denis Flex (09/21/04)
- Denis Flex (09/21/04)
- Jym (09/21/04)
- Denis Flex (09/21/04)
- Matt Timmermans (09/21/04)
- Denis (09/20/04)
- Marc Goodman (09/19/04)
- Eray Ozkural exa (09/19/04)
- Jym (09/19/04)
- Denis (09/18/04)
- Matt Timmermans (09/18/04)
- Eray Ozkural exa (09/18/04)
- Marc Goodman (09/17/04)
- Marc Goodman (09/17/04)
- Jym (09/17/04)
- Daniel A. Jimenez (09/17/04)
- Marc Goodman (09/17/04)
- Denis Flex (09/17/04)
- Jym (09/17/04)
- Denis Flex (09/17/04)
- Marc Goodman (09/16/04)
- Denis Flex (09/16/04)
ACM PODS 2005, Call for Papers
- Frank Neven (09/30/04)
An article about factorization
- Matt Timmermans (09/10/04)
- Bill F (09/09/04)
- Robert Low (09/09/04)
- newstome_at_comcast.net (09/09/04)
- Eray Ozkural exa (09/09/04)
Announcing WNLIB 9.0 - Free C Subroutine Library
- Daniel Vallstrom (09/22/04)
- John M. Gamble (09/22/04)
- Colin Andrew Percival (09/22/04)
- Will Naylor (09/21/04)
Another claim for P=NP
- Eray Ozkural exa (09/23/04)
- Steven (09/19/04)
- Matt Timmermans (09/18/04)
- Eray Ozkural exa (09/18/04)
Another set with cardinality |Z|
- David C. Ullrich (09/30/04)
- Eray Ozkural exa (09/30/04)
- Eray Ozkural exa (09/30/04)
- David C. Ullrich (09/30/04)
- Eray Ozkural exa (09/30/04)
- Eray Ozkural exa (09/30/04)
- wehrmacht (09/29/04)
- wehrmacht (09/29/04)
- wehrmacht (09/29/04)
- wehrmacht (09/29/04)
- Colin Andrew Percival (09/29/04)
- David C. Ullrich (09/29/04)
- Phil Carmody (09/29/04)
- Eray Ozkural exa (09/29/04)
- Kent Paul Dolan (09/29/04)
- Tim Peters (09/28/04)
- Robert Low (09/28/04)
- stephen_at_nomail.com (09/28/04)
- Robert Low (09/28/04)
- Eray Ozkural exa (09/28/04)
- Kevin Saff (09/28/04)
- stephen_at_nomail.com (09/28/04)
- Eray Ozkural exa (09/28/04)
- Eray Ozkural exa (09/28/04)
- Eray Ozkural exa (09/28/04)
- Colin Andrew Percival (09/28/04)
- Robert Low (09/28/04)
- Tim Peters (09/28/04)
- Kent Paul Dolan (09/28/04)
- stephen_at_nomail.com (09/28/04)
- Eray Ozkural exa (09/28/04)
- Eray Ozkural exa (09/28/04)
- Marc Goodman (09/28/04)
- Tim Peters (09/28/04)
- Kent Paul Dolan (09/28/04)
- Kent Paul Dolan (09/27/04)
- Marc Goodman (09/27/04)
- Eray Ozkural exa (09/27/04)
- Jean-Marc Bourguet (09/27/04)
- Robert Low (09/27/04)
- Robert Low (09/27/04)
- Ralph Hartley (09/27/04)
- Eray Ozkural exa (09/27/04)
- Eray Ozkural exa (09/27/04)
- Eray Ozkural exa (09/27/04)
- Robert Low (09/26/04)
- Eray Ozkural exa (09/26/04)
- Owen Jacobson (09/26/04)
- Robert Low (09/26/04)
- Jean-Marc Bourguet (09/26/04)
- Eray Ozkural exa (09/26/04)
- Eray Ozkural exa (09/26/04)
- Eray Ozkural exa (09/26/04)
- Kristian Lahdensuo (09/26/04)
- Kent Paul Dolan (09/26/04)
- stephen_at_nomail.com (09/25/04)
- Robert Low (09/25/04)
- Eray Ozkural exa (09/25/04)
- Kent Paul Dolan (09/25/04)
- Jean-Marc Bourguet (09/25/04)
- Robert Low (09/25/04)
- Eray Ozkural exa (09/25/04)
- Robert Low (09/25/04)
- Jean-Marc Bourguet (09/25/04)
- Kent Paul Dolan (09/25/04)
- Eray Ozkural exa (09/25/04)
- LarryLard (09/24/04)
- Eray Ozkural exa (09/24/04)
- Daniel W. Johnson (09/23/04)
- Robert Low (09/23/04)
- Phil Carmody (09/23/04)
- Jean-Marc Bourguet (09/23/04)
- stephen_at_nomail.com (09/23/04)
- Eray Ozkural exa (09/23/04)
- Jean-Marc Bourguet (09/23/04)
- Robert Low (09/23/04)
- Eray Ozkural exa (09/23/04)
- Abraham Buckingham (09/23/04)
- LarryLard (09/23/04)
- Robert Low (09/23/04)
- Robert Israel (09/23/04)
- Eray Ozkural exa (09/23/04)
Any NP optimization problems that don't reduce to decision problems?
- tchow_at_lsa.umich.edu (09/23/04)
Call for Papers
- journal (09/12/04)
Call for Participation: RTSS 2004 (note early hotel deadline!)
- Scott Brandt (09/27/04)
Can a regular Turing Machine provide Protected Memory?
- David C. Ullrich (09/05/04)
- Simon G Best (09/04/04)
- Peter Olcott (09/04/04)
- Simon G Best (09/04/04)
- Will Twentyman (09/04/04)
- Peter Olcott (09/04/04)
- newstome_at_comcast.net (09/04/04)
- David C. Ullrich (09/04/04)
- Peter Olcott (09/04/04)
- newstome_at_comcast.net (09/04/04)
- Owen Jacobson (09/04/04)
- G. Frege (09/04/04)
- Peter Olcott (09/04/04)
- Howard (09/03/04)
- Jay Miller (09/03/04)
- newstome_at_comcast.net (09/03/04)
- Simon G Best (09/03/04)
- Peter Olcott (09/03/04)
- newstome_at_comcast.net (09/03/04)
- Peter Olcott (09/03/04)
- Marc Goodman (09/02/04)
- The Ghost In The Machine (09/02/04)
- Will Twentyman (09/02/04)
- Keith Frayne (09/02/04)
- Keith Frayne (09/02/04)
- Frank Ch. Eigler (09/01/04)
- newstome_at_comcast.net (09/01/04)
- newstome_at_comcast.net (09/01/04)
- Will Twentyman (09/01/04)
- Will Twentyman (09/01/04)
- Owen Jacobson (09/01/04)
- Owen Jacobson (09/01/04)
- tom_usenet (09/01/04)
- Peter Olcott (09/01/04)
- Keith Frayne (09/01/04)
- Peter Olcott (09/01/04)
- Will Twentyman (09/01/04)
- Peter Olcott (09/01/04)
- Peter Olcott (09/01/04)
- Peter Olcott (09/01/04)
- Will Twentyman (08/31/04)
Can a regular Turing Machine provide Protected Memory?)
- Simon G Best (09/04/04)
CFP: RelMiCS8 - Relational Methods in CS - Second Call for Papers
- Michael Winter (09/02/04)
CFP: SAT 05 - Theory and Applications of Satisfiability Testing
- Toby Walsh (09/06/04)
Closest Point Problem
- newstome_at_comcast.net (09/12/04)
- Marc Goodman (09/12/04)
- dada (09/12/04)
- Marc Goodman (09/10/04)
- newstome_at_comcast.net (09/10/04)
- Howard (09/09/04)
- newstome_at_comcast.net (09/09/04)
- Marc Goodman (09/09/04)
- Ash (09/09/04)
- Howard (09/09/04)
- Kent Paul Dolan (09/08/04)
- Sariel Har-Peled (09/08/04)
- Marc Goodman (09/08/04)
- Abdulaziz Ghuloum (09/08/04)
- Marc Goodman (09/08/04)
- Ash (09/08/04)
Complexity of LTL Games
- Andreas Morgenstern (09/06/04)
Complexity optimisation for a block matrix inversion
- Volker (09/17/04)
computer memory
- Robert Low (09/23/04)
- Howard (09/23/04)
- Mark Carroll (09/20/04)
- Piotr Wyderski (09/20/04)
- Marc Goodman (09/20/04)
- Michael J�rgensen (09/20/04)
- Matthew Boots (09/20/04)
- Matthew Boots (09/20/04)
- Matthew Boots (09/20/04)
Computer Network to Graph Conversion
- phn_at_icke-reklam.ipsec.nu (09/03/04)
- Diego d'Aulignac (09/03/04)
CP news, vol 0, no 3, Oct 2004
- Toby Walsh (09/23/04)
Data structure for indexing on multiple keys.
- Dan (09/10/04)
- Jose Juan Mendoza Rodriguez (09/10/04)
- Mikito Harakiri (09/09/04)
- Jose Juan Mendoza Rodriguez (09/09/04)
- Paul E. Black (09/08/04)
- Laconic2 (09/08/04)
- CBFalconer (09/08/04)
- Burning Spear (09/08/04)
- jerry gitomer (09/08/04)
- J.H.Jongejan (09/08/04)
- Shankar (09/08/04)
decidability of S4 and S5
- Simon G Best (09/06/04)
- Moritz (09/04/04)
Difference in Packaging
- Bernd (09/18/04)
- Bernd (09/17/04)
Distributed algorithm for computing the determinant of a matrix.
- Colin Andrew Percival (09/17/04)
- Dhruv Matani (09/16/04)
- Colin Andrew Percival (09/15/04)
- Dhruv Matani (09/15/04)
Dominance Tree Sorts
- Richard Harter (09/21/04)
Erd�s quotation
- Daniel Marx (09/09/04)
examples of EXPTIME
- Mitch Harris (09/10/04)
- d. lee (09/10/04)
- Mike Robson (09/06/04)
- Michael N. Christoff (09/06/04)
- Abdulaziz Ghuloum (09/06/04)
- Michael N. Christoff (09/06/04)
- Kent Paul Dolan (09/06/04)
- d. lee (09/06/04)
Fibonacci numbers, Lucas numbers and Huffman codes
- Alex Vinokur (09/12/04)
- Alex Vinokur (09/08/04)
Fixed-price recoding job (PERL -> C, Basic,...) available to perms/combs expert
- David Halitsky (09/11/04)
Formal methods article and FMnet web pages
- Cristiano Sadun (09/22/04)
- Prof Jonathan Bowen (09/19/04)
Glynn Winskel - solutions to book exercises anyone?
- J�n Fairbairn (09/14/04)
- Hungster (09/14/04)
googVe is not Google
- RDJ (09/24/04)
Halting Problem Final Conclusion
- Jon Haugsand (09/06/04)
- Jon Haugsand (09/06/04)
- Robert Low (09/06/04)
- newstome_at_comcast.net (09/06/04)
- David C. Ullrich (09/06/04)
- G. Frege (09/06/04)
- David C. Ullrich (09/06/04)
- David C. Ullrich (09/06/04)
- Peter Olcott (09/06/04)
- Robert Low (09/06/04)
- G. Frege (09/06/04)
- G. Frege (09/06/04)
- G. Frege (09/06/04)
- Robert Low (09/06/04)
- G. Frege (09/06/04)
- G. Frege (09/06/04)
- Robert Low (09/06/04)
- David C. Ullrich (09/06/04)
- David C. Ullrich (09/06/04)
- Peter Olcott (09/06/04)
- Robert Low (09/06/04)
- Bryan Olson (09/06/04)
- Kent Paul Dolan (09/06/04)
- Michael Mueller (09/06/04)
- Will Twentyman (09/05/04)
- Peter Olcott (09/05/04)
- newstome_at_comcast.net (09/05/04)
- The Ghost In The Machine (09/05/04)
- David C. Ullrich (09/05/04)
- Casey Hawthorne (09/05/04)
- Robert Low (09/05/04)
- Peter Olcott (09/05/04)
Halting Problem Final Conclusion)
- Simon G Best (09/05/04)
help in random graphs
- Leonardo B. Oliveira (09/08/04)
Help with Knapsack LIKE problem
- Kebin Wang (09/21/04)
- John Bailey (09/17/04)
- Stush (09/15/04)
Help with the "big O" notation
- Robert Low (09/22/04)
- Rick Decker (09/22/04)
- mark thomas (09/22/04)
- Rupendra S. Dhillon (09/11/04)
- Robert Low (09/10/04)
- Rupendra S. Dhillon (09/10/04)
help: probability of dropping k items into N buckets
- Bo Hong (09/25/04)
Importance of Computer Science degree?
- Michael Wojcik (09/20/04)
- Phlip (09/18/04)
- Malcolm Dew-Jones (09/17/04)
- Randy Howard (09/17/04)
- Randy Howard (09/17/04)
- Randy Howard (09/15/04)
- Alan Balmer (09/15/04)
- Kent Paul Dolan (09/15/04)
- Phlip (09/15/04)
- Paul Lutus (09/15/04)
- Doug Bohl (09/15/04)
International Journal of Pattern Recognition and Artificial Intelligence - Vol. 18, No. 6 (September 2004)
- YH Khoo (09/24/04)
Invincible Ignorance strides again! (still): [PO] halting problem reading comprehension
- Kent Paul Dolan (09/06/04)
ISSRE'04 : Call for participation (France, Nov 04)
- Arnaud Gotlieb (09/03/04)
Kernighan-Lin Algorithm implementation
- Eray Ozkural exa (09/14/04)
- Kent Paul Dolan (09/14/04)
- Peng Yu (09/14/04)
Listen up, FUCKWADS!!
- peter_douglass (09/04/04)
- The Ace of Spades (09/04/04)
- peter_douglass (09/04/04)
- Kent Paul Dolan (09/03/04)
- The Ace of Spades (09/03/04)
- Kent Paul Dolan (09/02/04)
- Marc Goodman (09/02/04)
- Michael N. Christoff (09/02/04)
Measuring the strength of a theory
- Eray Ozkural exa (09/07/04)
- Eray Ozkural exa (09/07/04)
- Eray Ozkural exa (09/07/04)
- Eray Ozkural exa (09/07/04)
- 3.14159 (09/07/04)
- Jesse F. Hughes (09/07/04)
- 3.14159 (09/07/04)
- Jesse F. Hughes (09/07/04)
- Jesse F. Hughes (09/07/04)
- Eray Ozkural exa (09/07/04)
- Eray Ozkural exa (09/07/04)
- Jesse F. Hughes (09/06/04)
miminum constrained set covering
- Vicnent (09/08/04)
Need some help about Markov Decision Process with large action space...
- Hoang Than Anh Tuan (09/02/04)
NonLinear Programming course
- Mitch Harris (09/07/04)
- m sergei (09/07/04)
NP-hardness of k-means clustering
- Eray Ozkural exa (09/15/04)
- Stas Busygin (09/15/04)
- Stas Busygin (09/15/04)
- Kent Paul Dolan (09/14/04)
- Eray Ozkural exa (09/14/04)
- Kent Paul Dolan (09/14/04)
- Stas Busygin (09/14/04)
- Eray Ozkural exa (09/09/04)
- Eray Ozkural exa (09/09/04)
- Kent Paul Dolan (09/08/04)
- Stas Busygin (09/08/04)
- Eray Ozkural exa (09/08/04)
- Stas Busygin (09/08/04)
Olcott is cured of CrackPottery! (Halting Problem)
- Charlie-Boo (09/29/04)
- Chris Menzel (09/29/04)
- Charlie-Boo (09/29/04)
- Charlie-Boo (09/29/04)
- Charlie-Boo (09/29/04)
- G. Frege (09/26/04)
- Kent Paul Dolan (09/26/04)
- Barb Knox (09/26/04)
- stephen_at_nomail.com (09/26/04)
- stephen_at_nomail.com (09/25/04)
- Charlie-Boo (09/25/04)
- Kent Paul Dolan (09/25/04)
- Charlie-Boo (09/25/04)
- Robert Low (09/25/04)
- Mike Oliver (09/25/04)
- Charlie-Boo (09/24/04)
- Charlie-Boo (09/24/04)
- Robert Low (09/24/04)
- Josh Purinton (09/24/04)
- Mike Oliver (09/24/04)
- stephen_at_nomail.com (09/24/04)
- Charlie-Boo (09/24/04)
- Kevin Cline (09/24/04)
- Robert Low (09/23/04)
- Charlie-Boo (09/23/04)
- Marc Goodman (09/18/04)
- Leonard Blackburn (09/18/04)
- Eray Ozkural exa (09/18/04)
- Leonard Blackburn (09/17/04)
- Acme Diagnostics (09/16/04)
- Eray Ozkural exa (09/15/04)
- Quinn Tyler Jackson (09/13/04)
- Rick Decker (09/13/04)
- Quinn Tyler Jackson (09/12/04)
- Tom Widmer (09/09/04)
- Simon G Best (09/08/04)
- Acme Diagnostics (09/08/04)
- Acme Diagnostics (09/08/04)
- Acme Diagnostics (09/08/04)
- David C. Ullrich (09/08/04)
- Will Twentyman (09/08/04)
- Peter Olcott (09/08/04)
- Isaac To (09/08/04)
- Peter Olcott (09/08/04)
- Peter Olcott (09/08/04)
- Eray Ozkural exa (09/07/04)
- Will Twentyman (09/07/04)
- Robert Low (09/07/04)
- Simon G Best (09/06/04)
- Simon G Best (09/06/04)
- Peter Olcott (09/06/04)
- Robert Low (09/06/04)
- Simon G Best (09/06/04)
- Lee Rudolph (09/06/04)
- David C. Ullrich (09/06/04)
- Peter Olcott (09/06/04)
- David C. Ullrich (09/06/04)
- Kent Paul Dolan (09/06/04)
- Will Twentyman (09/05/04)
- Mitch Harris (09/05/04)
- Peter Olcott (09/05/04)
- David C. Ullrich (09/05/04)
- Peter Olcott (09/05/04)
- Peter Olcott (09/05/04)
- David C. Ullrich (09/05/04)
- David C. Ullrich (09/05/04)
- Peter Olcott (09/05/04)
- Bryan Olson (09/04/04)
- Kent Paul Dolan (09/04/04)
- Marc Goodman (09/04/04)
- Peter Olcott (09/04/04)
Open positions in algorithms and optimization
- Vijay Kumar (09/13/04)
Parma Polyhedra Library 0.6.1
- Roberto Bagnara (09/02/04)
Program implementing Post Tag System as applied to a Turing Machine
- Alex Vinokur (09/09/04)
- Eray Ozkural exa (09/08/04)
- Alex Vinokur (09/07/04)
Proof of code unique decipherability condition
- Kevin Saff (09/28/04)
Proof of inherent ambiguity?
- Rick Decker (09/25/04)
- Michael J. Fromberger (09/25/04)
- Brian M. Scott (09/25/04)
- Torben �gidius Mogensen (09/25/04)
- Nathan Sanders (09/25/04)
- Brian M. Scott (09/25/04)
- Nathan Sanders (09/25/04)
Quality of articles in SIGACT News
- Eray Ozkural exa (09/30/04)
- Anonymous (09/30/04)
- Daniel A. Jimenez (09/29/04)
- Anonymous (09/29/04)
R3COGNITION OF THE HALTING SOLN
- |-|erc (09/13/04)
Raatikainen's critique of Chaitin
- Eray Ozkural exa (09/18/04)
- Eray Ozkural exa (09/17/04)
- Aatu Koskensilta (09/17/04)
- Eray Ozkural exa (09/16/04)
- Eray Ozkural exa (09/13/04)
- Torkel Franzen (09/13/04)
- Eray Ozkural exa (09/12/04)
- Torkel Franzen (09/12/04)
- Craig Feinstein (09/12/04)
- Craig Feinstein (09/12/04)
- Jesse F. Hughes (09/10/04)
- 3.14159 (09/10/04)
- Torkel Franzen (09/10/04)
- Craig Feinstein (09/10/04)
- Mitch Harris (09/08/04)
- peter_douglass (09/08/04)
- Mitch Harris (09/08/04)
- Jesse F. Hughes (09/08/04)
- Mitch Harris (09/08/04)
- Jesse F. Hughes (09/08/04)
- Mitch Harris (09/08/04)
- Eray Ozkural exa (09/07/04)
- Aatu Koskensilta (09/07/04)
- Eray Ozkural exa (09/07/04)
- Eray Ozkural exa (09/07/04)
- Eray Ozkural exa (09/07/04)
- Aatu Koskensilta (09/07/04)
- Torkel Franzen (09/06/04)
- Eray Ozkural exa (09/06/04)
- Eray Ozkural exa (09/06/04)
- Torkel Franzen (09/06/04)
- Eray Ozkural exa (09/06/04)
- Eray Ozkural exa (09/06/04)
- Eray Ozkural exa (09/05/04)
- ZZBunker (09/05/04)
- Torkel Franzen (09/05/04)
- Jesse F. Hughes (09/05/04)
- Jesse F. Hughes (09/05/04)
- Eray Ozkural exa (09/05/04)
- Eray Ozkural exa (09/05/04)
- Eray Ozkural exa (09/05/04)
- Eray Ozkural exa (09/05/04)
- Torkel Franzen (09/05/04)
- Eray Ozkural exa (09/05/04)
- Torkel Franzen (09/05/04)
- Torkel Franzen (09/05/04)
- Daryl McCullough (09/05/04)
- Eray Ozkural exa (09/05/04)
- Eray Ozkural exa (09/05/04)
- Michael Lockhart (09/05/04)
- ZZBunker (09/05/04)
- Daryl McCullough (09/04/04)
- Torkel Franzen (09/04/04)
- Eray Ozkural exa (09/04/04)
- Eray Ozkural exa (09/04/04)
- Torkel Franzen (09/04/04)
- Torkel Franzen (09/04/04)
- Eray Ozkural exa (09/04/04)
- Eray Ozkural exa (09/04/04)
- Robert Low (09/04/04)
- ZZBunker (09/04/04)
- Torkel Franzen (09/04/04)
- Torkel Franzen (09/04/04)
- Eray Ozkural exa (09/04/04)
- Eray Ozkural exa (09/04/04)
- Torkel Franzen (09/04/04)
- Torkel Franzen (09/04/04)
- Eray Ozkural exa (09/04/04)
- Eray Ozkural exa (09/04/04)
- Eray Ozkural exa (09/04/04)
- Tim Ball (09/03/04)
- Timothy Murphy (09/03/04)
- Torkel Franzen (09/03/04)
- Craig Feinstein (09/03/04)
- Timothy Murphy (09/03/04)
- Torkel Franzen (09/03/04)
- Torkel Franzen (09/03/04)
- Aatu Koskensilta (09/03/04)
- Eray Ozkural exa (09/03/04)
- Eray Ozkural exa (09/03/04)
- Torkel Franzen (09/03/04)
- Torkel Franzen (09/03/04)
- Eray Ozkural exa (09/03/04)
- Eray Ozkural exa (09/03/04)
- Eray Ozkural exa (09/03/04)
- Lee Rudolph (09/02/04)
- Tim Ball (09/02/04)
- Daryl McCullough (09/02/04)
- Torkel Franzen (09/02/04)
- Craig Feinstein (09/02/04)
- Aatu Koskensilta (09/02/04)
- Daryl McCullough (09/02/04)
- Torkel Franzen (09/02/04)
- Eray Ozkural exa (09/02/04)
- Marc Goodman (09/02/04)
- Torkel Franzen (09/02/04)
- Daryl McCullough (09/02/04)
- Craig Feinstein (09/02/04)
- Eray Ozkural exa (09/02/04)
- Timothy Murphy (09/01/04)
- Torkel Franzen (09/01/04)
- Lee Rudolph (09/01/04)
- Eray Ozkural exa (09/01/04)
- Craig Feinstein (09/01/04)
- Torkel Franzen (09/01/04)
- Craig Feinstein (09/01/04)
- Torkel Franzen (09/01/04)
- Eray Ozkural exa (09/01/04)
- Eray Ozkural exa (09/01/04)
- Eray Ozkural exa (09/01/04)
- Eray Ozkural exa (09/01/04)
- Timothy Murphy (09/01/04)
Raatikainen's critique of Chaitin)
- Eray Ozkural exa (09/06/04)
SODA 2005 List of Accepted Papers
- Adam L. Buchsbaum (09/08/04)
Special Issue on Computational Intelligence in Signal and Image Processing
- YH Khoo (09/20/04)
Static Analysis - Was: Listen up, FUCKWADS!!
- Michael N. Christoff (09/06/04)
- Michael N. Christoff (09/06/04)
- peter_douglass (09/06/04)
- Michael N. Christoff (09/06/04)
- peter_douglass (09/05/04)
- Michael N. Christoff (09/05/04)
- Michael N. Christoff (09/05/04)
- peter_douglass (09/05/04)
- Michael N. Christoff (09/05/04)
Swarm Intelligence and Patterns 2005 Japan - CFP
- Vitorino RAMOS (09/28/04)
Tarjan algorithm
- Al (09/03/04)
- David J. Pearce (09/02/04)
- Kent Paul Dolan (09/02/04)
- Al (09/02/04)
- J.H.Jongejan (09/02/04)
- Al (09/02/04)
THE HALTING GODDAMN PROBLEM
- Lawrence D�Oliveiro (09/10/04)
- you're going straight to hell (09/07/04)
- |-|erc (09/07/04)
- The Ace of Spades (09/04/04)
theorems/problems with lots of quantifiers
- Jose Juan Mendoza Rodriguez (09/09/04)
- alpha_uma (09/09/04)
- Bill F (09/09/04)
- Pierre Asselin (09/08/04)
- biedl_at_uwaterloo.ca (09/07/04)
- Tim Mellor (09/07/04)
- Aatu Koskensilta (09/07/04)
- James Dolan (09/07/04)
- Mitch Harris (09/07/04)
- The Last Danish Pastry (09/07/04)
- Mitch Harris (09/07/04)
Two post-doc positions in bioinformatics available at Oxford University
- Rune Bang Lyngsoe (09/07/04)
Undecidable problem examples
- Kent Paul Dolan (09/12/04)
- Jym (09/12/04)
- Robert Low (09/11/04)
- Matt (09/11/04)
Volume of an ellipsoid cut by a hyperplane
- Pierre Asselin (09/04/04)
- Pannagadatta (09/03/04)
What is the Result from Invoking this Halt Function?
- >parr\(*> (09/01/04)
Wiki as A Time Saver for Researchers
- coolspeech_at_hotmail.com (09/12/04)
Zenkin's paper on Cantor
- Eray Ozkural exa (09/30/04)
- Eray Ozkural exa (09/30/04)
- David C. Ullrich (09/30/04)
- David C. Ullrich (09/30/04)
- Aatu Koskensilta (09/30/04)
- Eray Ozkural exa (09/30/04)
- Jean-Marc Bourguet (09/30/04)
- wehrmacht (09/30/04)
- Virgil (09/30/04)
- Eray Ozkural exa (09/29/04)
- Ross A. Finlayson (09/29/04)
- Jean-Marc Bourguet (09/29/04)
- Robert Low (09/29/04)
- Eray Ozkural exa (09/29/04)
- David C. Ullrich (09/29/04)
- Eray Ozkural exa (09/29/04)
- Eray Ozkural exa (09/28/04)
- Jean-Marc Bourguet (09/28/04)
- Eray Ozkural exa (09/28/04)
- Tim Mellor (09/28/04)
- David C. Ullrich (09/28/04)
- Eray Ozkural exa (09/28/04)
- Robert Low (09/27/04)
- Eray Ozkural exa (09/27/04)
- Eray Ozkural exa (09/27/04)
- Ross A. Finlayson (09/27/04)
- Craig Feinstein (09/27/04)
- Eray Ozkural exa (09/27/04)
- Kent Paul Dolan (09/27/04)
- Tim Peters (09/26/04)
- David C. Ullrich (09/26/04)
- Torkel Franzen (09/26/04)
- Ryan Reich (09/26/04)
- Robert Low (09/26/04)
- Eray Ozkural exa (09/26/04)

Last message date: 09/30/04
Archived on: 09/30/04 CEST

830 messages sorted by: [ author ] [ date ] [ thread ]

comp.theoryBy Subject

comp.theory
By Subject