comp.theory
By Date

445 messages sorted by: [ author ] [ thread ] [ subject ]

Starting: 12/31/03
Ending: 01/25/04

Re: MOST USEFUL Computer Language Old Enough to Know Better (01/25/04)
Re: MOST USEFUL Computer Language Old Enough to Know Better (01/25/04)
Re: Algorithm to generate all possible deals Janne (01/25/04)
Re: Algorithm to generate all possible deals Matt (01/25/04)
Linear Context Free Grammar Behrang (01/25/04)
Re: Turing machine Pento (01/25/04)
Regular Languages Behrang (01/25/04)
Re: Algorithm to generate all possible deals Matt (01/25/04)
Re: Turing machine bliss (01/25/04)
Re: Algorithm to generate all possible deals James Dow Allen (01/25/04)
Re: Mars Rover No Longer Controlled By Anything Bradley E. Rintoul (01/25/04)
Re: Mars Rover Controlled By Java mmeron_at_cars3.uchicago.edu (01/25/04)
Re: MOST USEFUL Computer Language Crownfield (01/25/04)
Re: Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover del cecchi (01/25/04)
Re: MOST USEFUL Computer Language stan_at_temple.edu (01/25/04)
Re: Turing machine bliss (01/25/04)
Re: MOST USEFUL Computer Language William Graham (01/25/04)
Re: MOST USEFUL Computer Language Brian (01/25/04)
Re: MOST USEFUL Computer Language Willem (01/25/04)
Re: Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover mitch (01/24/04)
Re: MOST USEFUL Computer Language Noah Roberts (01/24/04)
Re: MOST USEFUL Computer Language Randy Howard (01/24/04)
Re: Mars Rover Controlled By Java Edward Green (01/24/04)
Re: Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover Randy Howard (01/24/04)
Re: MOST USEFUL Computer Language Willem (01/24/04)
Re: MOST USEFUL Computer Language Willem (01/24/04)
Re: MOST USEFUL Computer Language Roger Halstead (01/24/04)
Re: Mars Rover Controlled By Java Edward Green (01/24/04)
Re: MOST USEFUL Computer Language Everett M. Greene (01/24/04)
Re: Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover Alf P. Steinbach (01/24/04)
Re: Protein folding and P = NP newstome_at_comcast.net (01/24/04)
Re: MOST USEFUL Computer Language Joe \ (01/24/04)
Re: Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover Matt Timmermans (01/24/04)
Re: Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover EventHelix.com (01/24/04)
Re: Turing machine Pento (01/24/04)
Re: MOST USEFUL Computer Language Willem (01/24/04)
Re: Mars Rover Controlled By Java Michael N. Christoff (01/24/04)
Re: Mars Rover Controlled By Java Michael N. Christoff (01/24/04)
Re: Turing machine bliss (01/24/04)
Re: MOST USEFUL Computer Language Richard Heathfield (01/24/04)
Re: MOST USEFUL Computer Language Ray Fischer (01/24/04)
Re: MOST USEFUL Computer Language Ray Fischer (01/24/04)
Re: MOST USEFUL Computer Language Ray Fischer (01/24/04)
Re: Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover Randy Howard (01/24/04)
Re: Algorithm to generate all possible deals Glenn C. Rhoads (01/24/04)
Re: circuit logic Matt Timmermans (01/24/04)
Re: Algorithm to generate all possible deals JD (01/24/04)
Re: Mars Rover Controlled By Java Harry Conover (01/24/04)
Re: Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover Michael N. Christoff (01/24/04)
Re: Algorithm to generate all possible deals Doc O'Leary (01/24/04)
Re: overlapping hyperrectangles Suresh Venkat (01/24/04)
Re: Protein folding and P = NP Robert Myers (01/24/04)
Re: Protein folding and P = NP Arthur J. O'Dwyer (01/24/04)
Re: Mars Rover No Longer Controlled By Anything Ian Zimmerman (01/24/04)
Re: Mars Rover Not Responding Andrew Thompson (01/24/04)
Re: Mars Rover Not Responding Nils O. Selåsdal (01/23/04)
Re: Mars Rover Not Responding Jan Panteltje (01/23/04)
Re: Mars Rover Not Responding Jan Panteltje (01/23/04)
Re: Algorithm to generate all possible deals Just John (01/23/04)
Re: Protein folding and P = NP newstome_at_comcast.net (01/23/04)
circuit logic Elaine Jackson (01/23/04)
Algorithm to generate all possible deals Anonymous (01/23/04)
Re: Protein folding and P = NP Mark Kvale (01/23/04)
Re: Mars Rover Not Responding Alan Balmer (01/23/04)
Re: Protein folding and P = NP Arthur J. O'Dwyer (01/23/04)
Re: Mars Rover Controlled By Java Programmer Dude (01/23/04)
Re: Mars Rover Not Responding ak (01/23/04)
Re: Mars Rover Not Responding Theo (01/23/04)
Re: Decidable? Mitch Harris (01/23/04)
Re: Turing machine Pento (01/23/04)
Re: Protein folding and P = NP Robert Myers (01/23/04)
Re: Mars Rover Not Responding Torben Ægidius Mogensen (01/23/04)
Re: Mars Rover Controlled By Java Joe \ (01/23/04)
Re: Mars Rover Not Responding Joe \ (01/23/04)
Re: Mars Rover Controlled By Java Tony Hill (01/23/04)
Re: Mars Rover Not Responding Joe \ (01/23/04)
Re: Mars Rover Not Responding Rick Osborn (01/23/04)
Re: Mars Rover Not Responding Andrew Thompson (01/23/04)
Re: Mars Rover No Longer Controlled By Anything JTK (01/23/04)
overlapping hyperrectangles Craig Schmidt (01/23/04)
Re: Mars Rover Not Responding Joe \ (01/23/04)
Re: graph theory questions on convex hull and connectedness Jim Nastos (01/23/04)
Re: graph theory questions on convex hull and connectedness Jim Nastos (01/23/04)
Re: Mars Rover Not Responding Uncle Al (01/23/04)
Re: Protein folding and P = NP Mark Kvale (01/23/04)
Re: Protein folding and P = NP Russell Easterly (01/23/04)
Re: Mars Rover Not Responding Kent Paul Dolan (01/23/04)
Re: graph theory questions on convex hull and connectedness Kent Paul Dolan (01/23/04)
Graph Theory and General Topology Michael N. Christoff (01/23/04)
Re: Mars Rover Not Responding Andrew Thompson (01/23/04)
Re: Decidable? Michael N. Christoff (01/23/04)
Re: Mars Rover Not Responding Michael N. Christoff (01/23/04)
Re: Mars Rover Not Responding Joe \ (01/22/04)
Re: graph theory questions on convex hull and connectedness Alex (01/22/04)
Mars Rover Not Responding Michael N. Christoff (01/22/04)
Re: Turing machine bliss (01/22/04)
Re: Mars Rover Controlled By Java Michael N. Christoff (01/22/04)
Re: Mars Rover Controlled By Java The Ghost In The Machine (01/22/04)
CfP GI/Dagstuhl research seminar 2004 Berthold Voecking (01/22/04)
Re: MOST USEFUL Computer Language Everett M. Greene (01/22/04)
Re: Graph Coloring with the least collision Chip Klostermeyer (01/22/04)
Re: MOST USEFUL Computer Language Andrzej Lewandowski (01/22/04)
Re: MOST USEFUL Computer Language Larry Blanchard (01/22/04)
Re: Protein folding and P = NP Jim Nastos (01/22/04)
Re: Mars Rover Controlled By Java Harry Conover (01/22/04)
Re: graph theory questions on convex hull and connectedness Marc Olschok (01/22/04)
Re: Protein folding and P = NP Sterten (01/22/04)
Re: MOST USEFUL Computer Language Derek Clarke (01/22/04)
Re: Mars Rover Controlled By Java David Gay (01/22/04)
Re: Mars Rover Controlled By Java Rod Davison (01/22/04)
Re: MOST USEFUL Computer Language Willem (01/22/04)
Re: Mars Rover Controlled By Java Willem (01/22/04)
graph theory questions on convex hull and connectedness Alex (01/22/04)
Re: Protein folding and P = NP Jim Nastos (01/22/04)
Re: Mars Rover Controlled By Java Jan C. Vorbrüggen (01/22/04)
Re: Mars Rover Controlled By Java Jan C. Vorbrüggen (01/22/04)
Re: Protein folding and P = NP mike3 (01/22/04)
Re: MOST USEFUL Computer Language Joe \ (01/22/04)
Re: Mars Rover Controlled By Java Richard Heathfield (01/22/04)
Re: Decidable? Michael J. Fromberger (01/22/04)
Re: MOST USEFUL Computer Language Charlie Mraz (01/22/04)
Decidable? Srivasta R. (01/22/04)
Re: Mars Rover Controlled By Java JTK (01/22/04)
Re: Protein folding and P = NP Arthur J. O'Dwyer (01/22/04)
Re: Mars Rover Controlled By Java The Ghost In The Machine (01/22/04)
Re: Mars Rover Controlled By Java Michael N. Christoff (01/22/04)
Re: Mars Rover Controlled By Java Michael N. Christoff (01/22/04)
Re: Mars Rover Controlled By Java Randy Howard (01/22/04)
Re: Mars Rover Controlled By Java Alan Balmer (01/22/04)
Re: Mars Rover Controlled By Java Alan Balmer (01/22/04)
Re: Mars Rover Controlled By Java Harry Conover (01/21/04)
Re: Mars Rover Controlled By Java Harry Conover (01/21/04)
Re: Mars Rover Controlled By Java Toon Moene (01/21/04)
Re: Mars Rover Controlled By Java Harry Conover (01/21/04)
Re: Which CRC? Chris (01/21/04)
Re: Mars Rover Controlled By Java Programmer Dude (01/21/04)
Re: Mars Rover Controlled By Java Randy Howard (01/21/04)
Protein folding and P = NP mike3 (01/21/04)
Re: Mars Rover Controlled By Java mmeron_at_cars3.uchicago.edu (01/21/04)
Re: Mars Rover Controlled By Java Ashlie Benjamin Hocking (01/21/04)
Re: Mars Rover Controlled By Java Michael N. Christoff (01/21/04)
Re: MOST USEFUL Computer Language Anthony Buckland (01/21/04)
Re: MOST USEFUL Computer Language Andrzej Lewandowski (01/21/04)
Re: MOST USEFUL Computer Language Alan McClure (01/21/04)
Re: Mars Rover Controlled By Java Richard Maine (01/21/04)
Re: Mars Rover Controlled By Java Programmer Dude (01/21/04)
Re: Mars Rover Controlled By Java Bjorn-Ove.Heimsund_at_uib.no (01/21/04)
New PhD Positions at Chalmers University of Technology, Sweden Anders Gidenstam (01/21/04)
Re: Mars Rover Controlled By Java Dale King (01/21/04)
Re: Turing machine Pento (01/21/04)
Turing machine bliss (01/21/04)
Re: Mars Rover Controlled By Java Bjorn-Ove.Heimsund_at_uib.no (01/21/04)
Re: Mars Rover Controlled By Java Jan C. Vorbrüggen (01/21/04)
Re: Mars Rover Controlled By Java Kent Paul Dolan (01/21/04)
Re: Mars Rover Controlled By Java Ken Hagan (01/21/04)
Re: Mars Rover Controlled By Java mmeron_at_cars3.uchicago.edu (01/21/04)
Re: Mars Rover Controlled By Java Michael Borgwardt (01/21/04)
Re: Graph Coloring with the least collision Casey Hawthorne (01/21/04)
Which CRC? Chris (01/21/04)
Re: Mars Rover Controlled By Java seemanta dutta (01/21/04)
Re: Which CRC? David Owen (01/21/04)
Re: SCC wih Sharir's algorithm Bilal Sallakh (01/21/04)
Re: Which CRC? Bilal Sallakh (01/21/04)
Re: Graph Coloring with the least collision Jim Nastos (01/21/04)
Re: Mars Rover Controlled By Java Stefan Monnier (01/21/04)
Re: Mars Rover Controlled By Java Jan Panteltje (01/21/04)
Re: Mars Rover Controlled By Java Jan Panteltje (01/21/04)
Re: Mars Rover Controlled By Java Ashlie Benjamin Hocking (01/20/04)
SCC wih Sharir's algorithm Sebi (01/20/04)
need information on cd file system format upendra shinde (01/20/04)
Re: Graph Coloring with the least collision gai luron (01/20/04)
Re: MOST USEFUL Computer Language Alan Balmer (01/20/04)
Re: Mars Rover Controlled By Java Stefan Monnier (01/20/04)
Re: Mars Rover Controlled By Java Alan Balmer (01/20/04)
Graph Coloring with the least collision Bilal Sallakh (01/20/04)
2nd CFP: COCOON 2004 COCOON 2004 (01/20/04)
Re: online literatures Bilal Sallakh (01/20/04)
Re: Mars Rover Controlled By Java Kent Paul Dolan (01/20/04)
Re: Linear programming vs. Graph Algorithms Jim Nastos (01/20/04)
Re: Linear programming vs. Graph Algorithms John P. Green (01/20/04)
Re: MOST USEFUL Computer Language Kent Paul Dolan (01/20/04)
Re: MOST USEFUL Computer Language Tony Morris (01/19/04)
LICS 2004: Final CFP Alex Simpson (01/19/04)
Re: union of non-re sets Alex (01/19/04)
Re: A question about Dijkstra's algorithm David Wagner (01/19/04)
Re: union of non-re sets Siamak (01/19/04)
Re: A question about Dijkstra's algorithm Mitch Harris (01/19/04)
Re: MOST USEFUL Computer Language Bruce (01/19/04)
Re: Linear programming vs. Graph Algorithms Bilal Sallakh (01/19/04)
Re: union of non-re sets Jón Fairbairn (01/19/04)
Re: MOST USEFUL Computer Language Bob Haar (01/19/04)
Re: MOST USEFUL Computer Language CBFalconer (01/19/04)
Re: Linear programming vs. Graph Algorithms Abi (01/19/04)
SWAT 2004: Call for papers Rasmus Pagh (01/19/04)
Re: A question about Dijkstra's algorithm Pento (01/19/04)
Re: MOST USEFUL Computer Language Ron Hunter (01/19/04)
Re: A question about Dijkstra's algorithm Bilal Sallakh (01/19/04)
Re: MOST USEFUL Computer Language Kent Paul Dolan (01/19/04)
Re: MOST USEFUL Computer Language Kent Paul Dolan (01/19/04)
Re: MOST USEFUL Computer Language Ray Fischer (01/19/04)
Re: union of non-re sets Siamak (01/19/04)
Re: union of non-re sets Siamak (01/19/04)
Re: A question about Dijkstra's algorithm Bilal Sallakh (01/19/04)
Re: A question about Dijkstra's algorithm A. G. McDowell (01/19/04)
Linear programming vs. Graph Algorithms Bilal Sallakh (01/19/04)
Re: MOST USEFUL Computer Language m II (01/19/04)
Re: MOST USEFUL Computer Language Scott Moore (01/19/04)
Re: MOST USEFUL Computer Language Andrzej Lewandowski (01/19/04)
Re: Mars Rover Controlled By Java Dr Chaos (01/19/04)
Re: MOST USEFUL Computer Language William D. Tallman (01/19/04)
Re: MOST USEFUL Computer Language Charon the lurker (01/19/04)
Re: MOST USEFUL Computer Language Ray Fischer (01/18/04)
Re: MOST USEFUL Computer Language Ray Fischer (01/18/04)
Re: MOST USEFUL Computer Language JAW (01/18/04)
Re: MOST USEFUL Computer Language James Rogers (01/18/04)
Re: A question about Dijkstra's algorithm David Eppstein (01/18/04)
Re: MOST USEFUL Computer Language Joe \ (01/18/04)
Re: union of non-re sets Arthur J. O'Dwyer (01/18/04)
Re: MOST USEFUL Computer Language Ron Hunter (01/18/04)
Re: union of non-re sets Michael N. Christoff (01/18/04)
Re: MOST USEFUL Computer Language Titus Groans (01/18/04)
Re: MOST USEFUL Computer Language Titus Groans (01/18/04)
[OT] Re: MOST USEFUL Computer Language Jeff Schwab (01/18/04)
MOST USEFUL Computer Language Charles Douglas Wehner (01/18/04)
Re: MOST USEFUL Computer Language Bob S. (01/18/04)
Re: union of non-re sets Arthur J. O'Dwyer (01/18/04)
Re: A question about Dijkstra's algorithm Jim Nastos (01/18/04)
Re: MOST USEFUL Computer Language Steve Young (01/18/04)
A question about Dijkstra's algorithm Bilal Sallakh (01/18/04)
Re: MOST USEFUL Computer Language Ian Woods (01/18/04)
Re: MOST USEFUL Computer Language Christopher Mooney (01/18/04)
Re: MOST USEFUL Computer Language Samuel Walters (01/18/04)
Re: MOST USEFUL Computer Language CBFalconer (01/18/04)
Re: MOST USEFUL Computer Language Wouter Lievens (01/18/04)
Re: Mars Rover Controlled By Java Kent Paul Dolan (01/18/04)
Re: Mars Rover Controlled By Java Kent Paul Dolan (01/18/04)
Re: Mars Rover Controlled By Java Jon Leech (01/18/04)
Re: Mars Rover Controlled By Java Kent Paul Dolan (01/18/04)
Re: Mars Rover Controlled By Java Richard Heathfield (01/18/04)
Re: Mars Rover Controlled By Java Kent Paul Dolan (01/18/04)
Re: Mars Rover Controlled By Java Kent Paul Dolan (01/18/04)
Re: union of non-re sets Alex (01/18/04)
Re: union of non-re sets Alex (01/18/04)
Re: Mars Rover Controlled By Java Jan Panteltje (01/18/04)
Re: Mars Rover Controlled By Java Jan Panteltje (01/18/04)
Re: Mars Rover Controlled By Java Michael N. Christoff (01/18/04)
Re: Mars Rover Controlled By Java Andrew Thompson (01/18/04)
Re: Mars Rover Controlled By Java Rupert Pigott (01/18/04)
Re: Mars Rover Controlled By Java Uncle Al (01/17/04)
Re: Mars Rover Controlled By Java mitch (01/17/04)
Re: Mars Rover Controlled By Java chris (01/17/04)
Re: Mars Rover Controlled By Java Tony Hill (01/17/04)
Re: Mars Rover Controlled By Java ak (01/17/04)
Re: Algorithm Running Time Erik Trulsson (01/17/04)
Re: union of non-re sets Jón Fairbairn (01/17/04)
Re: Mars Rover Controlled By Java Manolis Christodoulou (01/17/04)
Re: Mars Rover Controlled By Java Jan Panteltje (01/17/04)
Re: Mars Rover Controlled By Java Jan Panteltje (01/17/04)
Re: union of non-re sets Gary Nastrasio (01/17/04)
Algorithm Running Time Gary Nastrasio (01/17/04)
union of non-re sets Alex (01/17/04)
Re: Mars Rover Controlled By Java Andrew Thompson (01/17/04)
Re: Mars Rover Controlled By Java Uncle Al (01/17/04)
Re: Mars Rover Controlled By Java Theo (01/17/04)
Re: Mars Rover Controlled By Java Dave Harris (01/17/04)
Re: DFA minimalization Piotr Wyderski (01/17/04)
Re: Mars Rover Controlled By Java Dalibor Hrg (01/17/04)
Re: Mars Rover Controlled By Java mitch (01/17/04)
Re: Mars Rover Controlled By Java Phlip (01/17/04)
Re: Mars Rover Controlled By Java JavaJunkie (01/17/04)
Re: DFA minimalization Alex Lopez-Ortiz (01/17/04)
Re: Mars Rover Controlled By Java Ken Larson (01/17/04)
can any one get me the solved exercise problems on nfa and dfa Prashanth Badabagni (01/17/04)
Mars Rover Controlled By Java Michael N. Christoff (01/16/04)
Re: DFA minimalization mareg_at_mimosa.csv.warwick.ac.uk (01/16/04)
Re: DFA minimalization David Eppstein (01/16/04)
Re: DFA minimalization David Eppstein (01/16/04)
Re: What is regular about regular expressions nowadays? Michael N. Christoff (01/16/04)
Re: What is regular about regular expressions nowadays? Michael N. Christoff (01/16/04)
Re: DFA minimalization mareg_at_mimosa.csv.warwick.ac.uk (01/16/04)
Re: What is regular about regular expressions nowadays? Michael N. Christoff (01/16/04)
Re: What is regular about regular expressions nowadays? Kent Paul Dolan (01/16/04)
Re: DFA minimalization Sabyasachi Basu (01/16/04)
Re: What is regular about regular expressions nowadays? Kent Paul Dolan (01/16/04)
Re: What is regular about regular expressions nowadays? Kent Paul Dolan (01/16/04)
Re: What is regular about regular expressions nowadays? Michael N. Christoff (01/16/04)
Re: What is regular about regular expressions nowadays? Kent Paul Dolan (01/16/04)
Re: What is regular about regular expressions nowadays? Michael N. Christoff (01/16/04)
Re: A Class of Non-Halting TMs Kent Paul Dolan (01/16/04)
Re: What is regular about regular expressions nowadays? Kent Paul Dolan (01/16/04)
Re: What is regular about regular expressions nowadays? Mark A. Biggar (01/16/04)
Re: What is regular about regular expressions nowadays? Mark A. Biggar (01/16/04)
Algebraic Topology and Distributed Computing II Mike N. Christoff (01/16/04)
Re: Algebraic Topology and Distributed Computing Mike N. Christoff (01/16/04)
Computer Science Theory Group Michael N. Christoff (01/15/04)
Re: A Class of Non-Halting TMs Jim Nastos (01/15/04)
Re: DFA minimalization Michael N. Christoff (01/15/04)
Re: distances between n points Narasimham G.L. (01/15/04)
Re: DFA minimalization David Eppstein (01/15/04)
What is regular about regular expressions nowadays? Sriram (01/15/04)
Re: turing machine algorithm for division of two decimal numbers Andre (01/15/04)
Re: DFA minimalization Siamak (01/15/04)
Re: distances between n points Suresh Venkat (01/15/04)
Re: New Turing Test and: It's not paranoia when... Bobby Parker (01/15/04)
Re: New Turing Test and: It's not paranoia when... Raisse the Thaumaturge (01/15/04)
Re: DFA minimalization mareg_at_mimosa.csv.warwick.ac.uk (01/15/04)
Re: 1-SAT, 2-SAT, and 3-SAT Mitch Harris (01/15/04)
Re: distances between n points Ray Koopman (01/15/04)
Re: New Turing Test and: It's not paranoia when... Kent Paul Dolan (01/15/04)
Re: New Turing Test and: It's not paranoia when... Kent Paul Dolan (01/15/04)
Re: New Turing Test and: It's not paranoia when... Kent Paul Dolan (01/15/04)
Re: New Turing Test and: It's not paranoia when... Kent Paul Dolan (01/15/04)
Re: New Turing Test and: It's not paranoia when... steve lefevre (01/15/04)
Re: New Turing Test and: It's not paranoia when... the reverse psychology major (01/15/04)
Re: New Turing Test and: It's not paranoia when... 5parrow (01/15/04)
Maximum Matching in Hypergraph: algorithms, code ? Dr. Pesha (01/15/04)
Re: New Turing Test and: It's not paranoia when... JH (01/15/04)
New Turing Test and: It's not paranoia when... Kent Paul Dolan (01/15/04)
Re: distances between n points Proginoskes (01/14/04)
Re: Little 4line code RNG. Paul E. Black (01/14/04)
Re: distances between n points Dave Rusin (01/14/04)
Re: Little 4line code RNG. CybercafeUser (01/14/04)
Re: Little 4line code RNG. Thomas Richter (01/14/04)
distances between n points Abi (01/14/04)
Re: Is it Computable? Is it Decidable? Behrang (01/14/04)
Re: primitive recursive functions Chris Menzel (01/14/04)
Re: A Class of Non-Halting TMs Russell Easterly (01/14/04)
Re: Is Binary BrainF*** Turing-complete? Daniel. (01/14/04)
Little 4line code RNG. Hermann Samso (01/14/04)
Re: primitive recursive functions H. Enderton (01/14/04)
Re: A Class of Non-Halting TMs Jim Nastos (01/13/04)
Re: any list of undecidable problems? Siamak (01/13/04)
Re: Is it Computable? Is it Decidable? Siamak (01/13/04)
Re: Is Binary BrainF*** Turing-complete? Arthur J. O'Dwyer (01/13/04)
A Class of Non-Halting TMs Russell Easterly (01/13/04)
Re: Is Binary BrainF*** Turing-complete? Daniel. (01/13/04)
Re: Is it Computable? Is it Decidable? Behrang (01/13/04)
Re: any list of undecidable problems? Mitch Harris (01/13/04)
Re: any list of undecidable problems? Torben Ægidius Mogensen (01/13/04)
Re: Is Binary BrainF*** Turing-complete? Arthur J. O'Dwyer (01/13/04)
Is Binary BrainF*** Turing-complete? r.e.s. (01/13/04)
Re: Where could I find answers for MT problems? Russell Easterly (01/12/04)
Re: primitive recursive functions MishaK (01/12/04)
Re: Is it Computable? Is it Decidable? Siamak (01/12/04)
Re: Where could I find answers for MT problems? André Betz (01/12/04)
Re: any list of undecidable problems? W. Dale Hall (01/12/04)
Re: any list of undecidable problems? Siamak (01/12/04)
Is it Computable? Is it Decidable? Behrang (01/12/04)
Re: any list of undecidable problems? Mitch Harris (01/12/04)
Re: Regular expressions Jim Nastos (01/11/04)
Re: Regular expressions Pento (01/11/04)
Regular expressions Alexander Schmidt (01/11/04)
Is Binary BrainF*** Turing-complete? r.e.s. (01/10/04)
Re: any list of undecidable problems? Siamak (01/10/04)
Re: 1-SAT, 2-SAT, and 3-SAT Andy Stocker (01/10/04)
Re: 1-SAT, 2-SAT, and 3-SAT Andy Stocker (01/10/04)
Re: any list of undecidable problems? Michael J. Fromberger (01/10/04)
Re: 1-SAT, 2-SAT, and 3-SAT li (01/10/04)
Re: primitive recursive functions Charlie-Boo (01/10/04)
Re: primitive recursive functions Dennis Ritchie (01/10/04)
Re: primitive recursive functions gds_at_best.cut.here.com (01/09/04)
primitive recursive functions MishaK (01/09/04)
any list of undecidable problems? Siamak (01/09/04)
ADVIS'2004, Call for Papers Emine Ekin (01/09/04)
Where could I find answers for MT problems? Leonardo Barbosa e Oliveira (01/09/04)
Re: 1-SAT, 2-SAT, and 3-SAT Rajsekar Manokaran (01/09/04)
Looking for old Automata Prelim Exams Markis Landis Gardner (01/09/04)
Re: Question: the modern/state-of-the-art P?=NP research tchow_at_lsa.umich.edu (01/08/04)
Re: 1-SAT, 2-SAT, and 3-SAT Piotr Wyderski (01/08/04)
Re: 1-SAT, 2-SAT, and 3-SAT li (01/08/04)
Re: turing machine algorithm for division of two decimal numbers Andrzej Lewandowski (01/08/04)
turing machine algorithm for division of two decimal numbers Psiha (01/08/04)
Re: 1-SAT, 2-SAT, and 3-SAT Andy Stocker (01/08/04)
Re: 1-SAT, 2-SAT, and 3-SAT Rajsekar Manokaran (01/08/04)
Re: 1-SAT, 2-SAT, and 3-SAT David Eppstein (01/08/04)
Re: Cardinality of Set of Computable Numbers? Tim Smith (01/08/04)
Re: 1-SAT, 2-SAT, and 3-SAT Mitch Harris (01/07/04)
Help needed on randomized algorithm for closest points problem Rajsekar Manokaran (01/07/04)
Re: 1-SAT, 2-SAT, and 3-SAT David Eppstein (01/07/04)
Re: 1-SAT, 2-SAT, and 3-SAT li (01/07/04)
Re: 1-SAT, 2-SAT, and 3-SAT David Eppstein (01/07/04)
Re: 1-SAT, 2-SAT, and 3-SAT li (01/07/04)
Re: 1-SAT, 2-SAT, and 3-SAT David Eppstein (01/07/04)
Re: 1-SAT, 2-SAT, and 3-SAT li (01/07/04)
1-SAT, 2-SAT, and 3-SAT Andy Stocker (01/07/04)
Re: How transform from Tag system to cyclic tag system? Andre (01/07/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/07/04)
Help needed on randomized algorithm for closest points problem Rajsekar Manokaran (01/07/04)
Re: TM Tape is Always Finite Russell Easterly (01/06/04)
TCC 2004: The First Theory of Cryptography Conference Theory of Cryptography Program Chair (01/06/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/06/04)
Re: TM Tape is Always Finite Virgil (01/06/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/06/04)
Announcement: Combinatorica book now available Sriram Pemmaraju (01/06/04)
Re: TM Tape is Always Finite Russell Easterly (01/06/04)
Re: TM Tape is Always Finite Virgil (01/06/04)
Re: TM Tape is Always Finite Russell Easterly (01/06/04)
Re: tree walking -- saved recursion state Bart Demoen (01/05/04)
tree walking -- saved recursion state Mikito Harakiri (01/05/04)
CPAIOR'04 : LAST CALL FOR PAPERS Michel Rueher (01/05/04)
Re: TM Tape is Always Finite briggs_at_encompasserve.org (01/05/04)
Re: Is this automata universal? Hans Huttel (01/05/04)
Re: TM Tape is Always Finite Virgil (01/05/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/05/04)
Re: TM Tape is Always Finite Arthur J. O'Dwyer (01/05/04)
Re: TM Tape is Always Finite Russell Easterly (01/05/04)
Re: distinguish structures Reinier Post (01/05/04)
Re: TM Tape is Always Finite Reinier Post (01/05/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/04/04)
anyone interested in survey propagation algorithm? Shaohua Li (01/04/04)
Re: TM Tape is Always Finite Virgil (01/04/04)
Re: A PRACTICAL VERSION OF THE HALTING PROOF |-|erc (01/04/04)
Re: TM Tape is Always Finite Russell Easterly (01/04/04)
Re: hi,is there any simulation software for Automata and CFL with GUI? Kent Paul Dolan (01/04/04)
Re: A PRACTICAL VERSION OF THE HALTING PROOF Patrick Meuser (01/04/04)
Re: A PRACTICAL VERSION OF THE HALTING PROOF |-|erc (01/04/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/04/04)
A PRACTICAL VERSION OF THE HALTING PROOF |-|erc (01/04/04)
Re: TM Tape is Always Finite Pento (01/04/04)
Re: TM Tape is Always Finite Russell Easterly (01/03/04)
Re: TM Tape is Always Finite Arthur J. O'Dwyer (01/03/04)
Re: TM Tape is Always Finite Russell Easterly (01/03/04)
Re: TM Tape is Always Finite Leonard Blackburn (01/03/04)
Re: Complexity of computing normal subgroup mareg_at_mimosa.csv.warwick.ac.uk (01/03/04)
Re: TM Tape is Always Finite Patrick Meuser (01/03/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/03/04)
Re: TM Tape is Always Finite Russell Easterly (01/03/04)
Re: Complexity of computing normal subgroup Pinaki Mitra (01/03/04)
Re: TM Tape is Always Finite Thomas Bushnell, BSG (01/03/04)
Re: TM Tape is Always Finite Arthur J. O'Dwyer (01/03/04)
Re: TM Tape is Always Finite Arthur J. O'Dwyer (01/03/04)
hi,is there any simulation software for Automata and CFL with GUI? smartnose (01/02/04)
Re: TM Tape is Always Finite |-|erc (01/02/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/02/04)
Re: TM Tape is Always Finite Russell Easterly (01/02/04)
Re: TM Tape is Always Finite Leonard Blackburn (01/01/04)
Re: TM Tape is Always Finite Kent Paul Dolan (01/01/04)
Re: TM Tape is Always Finite Acid Pooh (01/01/04)
Re: TM Tape is Always Finite Russell Easterly (01/01/04)
Re: TM Tape is Always Finite Virgil (01/01/04)
Turing Machine game Russell Easterly (01/01/04)
Turing was Wrong (was: Re: C++ Simulator of a Universal Turing Machine) Doktor DynaSoar (01/01/04)
Re: TM Tape is Always Finite Russell Easterly (01/01/04)
TM Tape is Always Finite Russell Easterly (01/01/04)
SAT 2004 Call For Papers, Solvers, Benchmarks David G Mitchell (12/31/03)

Last message date: 01/25/04
Archived on: 01/25/04 CET

445 messages sorted by: [ author ] [ thread ] [ subject ]

comp.theoryBy Date

comp.theory
By Date