comp.theory
By Thread
445 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 12/31/03
Ending: 01/25/04
- Linear Context Free Grammar Behrang (01/25/04)
- Regular Languages Behrang (01/25/04)
- circuit logic Elaine Jackson (01/23/04)
- Algorithm to generate all possible deals Anonymous (01/23/04)
- overlapping hyperrectangles Craig Schmidt (01/23/04)
- Graph Theory and General Topology Michael N. Christoff (01/23/04)
- CfP GI/Dagstuhl research seminar 2004 Berthold Voecking (01/22/04)
- graph theory questions on convex hull and connectedness Alex (01/22/04)
- Decidable? Srivasta R. (01/22/04)
- Protein folding and P = NP mike3 (01/21/04)
- New PhD Positions at Chalmers University of Technology, Sweden Anders Gidenstam (01/21/04)
- Turing machine bliss (01/21/04)
- Which CRC? Chris (01/21/04)
- SCC wih Sharir's algorithm Sebi (01/20/04)
- need information on cd file system format upendra shinde (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)
- LICS 2004: Final CFP Alex Simpson (01/19/04)
- SWAT 2004: Call for papers Rasmus Pagh (01/19/04)
- Linear programming vs. Graph Algorithms Bilal Sallakh (01/19/04)
- A question about Dijkstra's algorithm Bilal Sallakh (01/18/04)
- Re: MOST USEFUL Computer Language Wouter Lievens (01/18/04)
- Algorithm Running Time Gary Nastrasio (01/17/04)
- union of non-re sets Alex (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)
- 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)
- What is regular about regular expressions nowadays? Sriram (01/15/04)
- Re: DFA minimalization mareg_at_mimosa.csv.warwick.ac.uk (01/15/04)
- Maximum Matching in Hypergraph: algorithms, code ? Dr. Pesha (01/15/04)
- New Turing Test and: It's not paranoia when... Kent Paul Dolan (01/15/04)
- distances between n points Abi (01/14/04)
- Little 4line code RNG. Hermann Samso (01/14/04)
- A Class of Non-Halting TMs Russell Easterly (01/13/04)
- Is it Computable? Is it Decidable? Behrang (01/12/04)
- Regular expressions Alexander Schmidt (01/11/04)
- Is Binary BrainF*** Turing-complete? r.e.s. (01/10/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)
- 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)
- turing machine algorithm for division of two decimal numbers Psiha (01/08/04)
- Re: Cardinality of Set of Computable Numbers? Tim Smith (01/08/04)
- Help needed on randomized algorithm for closest points problem Rajsekar Manokaran (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)
- Help needed on randomized algorithm for closest points problem Rajsekar Manokaran (01/07/04)
- TCC 2004: The First Theory of Cryptography Conference Theory of Cryptography Program Chair (01/06/04)
- Announcement: Combinatorica book now available Sriram Pemmaraju (01/06/04)
- tree walking -- saved recursion state Mikito Harakiri (01/05/04)
- CPAIOR'04 : LAST CALL FOR PAPERS Michel Rueher (01/05/04)
- Re: Is this automata universal? Hans Huttel (01/05/04)
- Re: distinguish structures Reinier Post (01/05/04)
- anyone interested in survey propagation algorithm? Shaohua Li (01/04/04)
- A PRACTICAL VERSION OF THE HALTING PROOF |-|erc (01/04/04)
- Re: Complexity of computing normal subgroup Pinaki Mitra (01/03/04)
- hi,is there any simulation software for Automata and CFL with GUI? smartnose (01/02/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)
- 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 ] [ date ] [ subject ]
