comp.theory
By Thread
497 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 01/25/04
Ending: 02/29/04
- Distance between equations Piotr Wyderski (02/28/04)
- Greibach NF transformation Andreas Nauerz (02/28/04)
- New Network Protocol Patrick Meuser (02/27/04)
- Forced Satisfiable Problems Ke Xu (02/27/04)
- The art of theTravelling Salesman Problem Patrick Meuser (02/26/04)
- (job) Scientific Application Developer - Toronto, CA Michael Wilmarth (02/26/04)
- 25th IEEE Real-Time Systems Symposium CFP Scott Brandt (02/26/04)
- Quantum Computing and protein folding mike3 (02/25/04)
- Finding cycles in a directed graph Steinar H. Gunderson (02/25/04)
- Notions of computation Lauri Alanko (02/25/04)
- Comparing two notions of computable number Axel Boldt (02/24/04)
- CPAIOR'04 : Call for Participation Michel Rueher (02/24/04)
- binary tree question Sebi (02/23/04)
- sparse matrix storage method Sebi (02/22/04)
- P vs NP and the analog machine The Lord of Chaos \(Suresh Devanathan\) (02/22/04)
- Difference between two systems of DAGs Phil Bewig (02/21/04)
- Ideas for course on great ideas in (theoretical) CS? Chip Klostermeyer (02/21/04)
- is correct this Pumping Lemma? and this? FlicK (02/20/04)
- The complexity of a piece of code Tao Zhang (02/20/04)
- Input wanted on algorithm strategy Augustin Des (02/18/04)
- URGENCY!!! Please HELP! FlicK (02/18/04)
- Rectangle division problem smartnose (02/18/04)
- CFP: RelMiCS8 - Relational Methods in Computer Science Michael Winter (02/18/04)
- A New Kind of Science Online Wolfram Research (02/17/04)
- A New Kind of Science Online Wolfram Research (02/17/04)
- Minimal POS? Sathi (02/17/04)
- CA & Numerical Analysis? Behrang (02/17/04)
- CA & Numerical Analysis? Behrang (02/17/04)
- [Q] Waht about these smallest universal Turing Machines Andre (02/16/04)
- BCTCS 2004: Call for Participation Carron Shankland (02/13/04)
- Big problem with this NFA into DFA :(( FlicK (02/11/04)
- max flow in reverse Vladimir Ralev (02/11/04)
- Re: Web Sites for Complexity Theory Jurgen Van Gael (02/10/04)
- Minimize changes in a Boolean Vector Joe Hendrix (02/10/04)
- Riemann Hypothesis and P vs NP Enrique (02/09/04)
- decidability of deterministic context-free languages? SE (02/09/04)
- graph partitioning with constraints Mike Wimmer (02/09/04)
- Graph Partitioning - Minimize AND BALANCE number of edges cut Picander (02/09/04)
- Converting Max to Min objective Arun Vishwanath (02/09/04)
- Rules on Reductions from Halting Problem Blake Manner (02/09/04)
- Research Scientist in Knowledge Representation & Reasoning Norman Foo (02/09/04)
- CFP: Deadline extension: Workshop on Causality and Causal Discovery Kamran Karimi (02/09/04)
- Adjacency matrix vs Adjacency list? Robert Adams (02/09/04)
- Average Height of a binary tree Pea Buddy (02/07/04)
- CFP: 3rd FUN with Algorithms - DEADLINE FEB 27, 2004 Roberto Grossi (02/07/04)
- A review of TRS-es Piotr Wyderski (02/07/04)
- A grammar analyser A. Tomaszewski (02/07/04)
- CFP: Swarm Intelligence and Patterns Vitorino RAMOS (02/07/04)
- optimization of (n log n)-style equation Hal Daume III (02/07/04)
- Erdos Number Project update Jerry Grossman (02/06/04)
- :: towards a constructive education :: (news server friendly) galathaea (02/06/04)
- **theory-edge** mailing list V.Z.Nuri (02/05/04)
- Big problem with this NFA into DFA :(( FlicK (02/05/04)
- Re: The Dialogue of Existence Eray Ozkural exa (02/05/04)
- Call for Papers: Asia Pacific Journal of Operational Research YH Khoo (02/04/04)
- :: towards a constructive education :: galathaea (02/03/04)
- Cormen et al. 2001 - two printings bq (02/03/04)
- HELP!!! a set theory problem. Song Li (02/03/04)
- Concurrency and Hardware Design research studentships available at London South Bank University Prof. Mark B. Josephs (02/03/04)
- dynamic dictionaries w/ ins, del, and nearest neighbor kf_at_iki.fi (02/02/04)
- branch and bound Sebi (02/01/04)
- Solving linear inhomogenous recursion Robert Adams (02/01/04)
- group isomorphism vs graph isomorphism Godfrey Muganda (02/01/04)
- total but not computable? Jack Tanner (01/31/04)
- truth maintenance system gai luron (01/31/04)
- Regular Expression, where i found it? FlicK (01/30/04)
- NFA transform into DFA FlicK (01/30/04)
- Exercise a^2n b^n+1 with Pumping Lemma HELP! FlicK (01/30/04)
- dual pointer synchronization program Ms Mayu Karita (01/30/04)
- Determining if there are 2 numbers in a sorted array which add up to particular number. Sabyasachi Basu (01/30/04)
- ZAW & SMS Peter Taylor (01/29/04)
- Is there a "fastest most reliable" hosting network out there? Julia Briggs (01/27/04)
- Re: Is Binary BrainF*** Turing-complete? r.e.s. (01/27/04)
- Church-Turing compared to Zuse-Fredkin thesis (two new papers) Plamen Petrov (01/27/04)
- CFP: ACM SIGSOFT 2004/12th Symposium on Foundations of Software Engineering ACM SIGSOFT 2004 Publicity Chair (01/27/04)
- Wizards Ken Clark (01/27/04)
- Re: Protein folding and P = NP Sterten (01/27/04)
- Re: Linear Context Free Grammar Peter Asveld (01/27/04)
- Re: Decidable? Srivasta R. (01/27/04)
- Re: Mars Rover Not Responding Jan C. Vorbrüggen (01/26/04)
- Re: Mars Rover Controlled By Java Jan C. Vorbrüggen (01/26/04)
- For Sale - Brand new Sony DCR-PC 330 (3 Mega Pix) Digital Camera for 2,500 J-F (01/26/04)
- SIGACT News Reminder - submission deadline Feb 1 David J. Haglin (01/26/04)
- Re: Regular Languages Jim Nastos (01/25/04)
- Re: MOST USEFUL...me confused now Stanley Krute (01/25/04)
- Re: Algorithm to generate all possible deals Thomas R. Truscott (01/25/04)
- Re: MOST USEFUL Computer Language Bruce (01/25/04)
Last message date: 02/29/04
Archived on: 02/29/04 CET
497 messages sorted by: [ author ] [ date ] [ subject ]
