comp.theory
By Subject
445 messages sorted by: [ author ] [ date ] [ thread ]
Starting: 12/31/03
Ending: 01/25/04
- 1-SAT, 2-SAT, and 3-SAT
- 2nd CFP: COCOON 2004
- A Class of Non-Halting TMs
- A PRACTICAL VERSION OF THE HALTING PROOF
- A question about Dijkstra's algorithm
- ADVIS'2004, Call for Papers
- Algebraic Topology and Distributed Computing
- Algebraic Topology and Distributed Computing II
- Algorithm Running Time
- Algorithm to generate all possible deals
- Announcement: Combinatorica book now available
- any list of undecidable problems?
- anyone interested in survey propagation algorithm?
- C++ Simulator of a Universal Turing Machine)
- can any one get me the solved exercise problems on nfa and dfa
- Cardinality of Set of Computable Numbers?
- CfP GI/Dagstuhl research seminar 2004
- circuit logic
- Complexity of computing normal subgroup
- Computer Science Theory Group
- CPAIOR'04 : LAST CALL FOR PAPERS
- Decidable?
- DFA minimalization
- distances between n points
- distinguish structures
- Graph Coloring with the least collision
- Graph Theory and General Topology
- graph theory questions on convex hull and connectedness
- Help needed on randomized algorithm for closest points problem
- hi,is there any simulation software for Automata and CFL with GUI?
- How transform from Tag system to cyclic tag system?
- Is Binary BrainF*** Turing-complete?
- Is it Computable? Is it Decidable?
- Is this automata universal?
- LICS 2004: Final CFP
- Linear Context Free Grammar
- Linear programming vs. Graph Algorithms
- Little 4line code RNG.
- Looking for old Automata Prelim Exams
- Mars Rover Controlled By Java
- Mars Rover No Longer Controlled By Anything
- Mars Rover Not Responding
- Mars Rover Not Responding - Update - NASA Makes Contact With Mars Rover
- Maximum Matching in Hypergraph: algorithms, code ?
- MOST USEFUL Computer Language
- need information on cd file system format
- New PhD Positions at Chalmers University of Technology, Sweden
- New Turing Test and: It's not paranoia when...
- online literatures
- overlapping hyperrectangles
- primitive recursive functions
- Protein folding and P = NP
- Question: the modern/state-of-the-art P?=NP research
- Regular expressions
- Regular Languages
- SAT 2004 Call For Papers, Solvers, Benchmarks
- SCC wih Sharir's algorithm
- SWAT 2004: Call for papers
- TCC 2004: The First Theory of Cryptography Conference
- TM Tape is Always Finite
- tree walking -- saved recursion state
- Turing machine
- turing machine algorithm for division of two decimal numbers
- Turing Machine game
- union of non-re sets
- What is regular about regular expressions nowadays?
- Where could I find answers for MT problems?
- Which CRC?
Last message date: 01/25/04
Archived on: 01/25/04 CET
445 messages sorted by: [ author ] [ date ] [ thread ]
