comp.theory
By Thread
538 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 05/31/04
Ending: 06/30/04
- Computing Huffman codes on a Turing Machine Alex Vinokur (06/30/04)
- Education or Job Creation? conesetter (06/30/04)
- Re: Infinity does exist? |-|erc (06/30/04)
- solving np-complete problems on quantum computers Craig Feinstein (06/29/04)
- CFP: SIGACT News Deadline is August 1 David J. Haglin (06/29/04)
- Checksum/Function for testing inclusion property. AG (06/29/04)
- SAT: Equivalency Clauses and Substitution Lash Rambo (06/28/04)
- On representing processes - question on methodologies dan michaels (06/28/04)
- Re: limitation to induction on finite bounds |-|erc (06/28/04)
- Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/28/04)
- If you ever wanted to get busy with Bart Simpson Bed (06/28/04)
- Halting Problem? Casey Hawthorne (06/27/04)
- Complexity Exercise Paulo Jorge Matos (06/27/04)
- how do I make my computer a virgin? kazzeppo (06/27/04)
- Graph Partitioning Problem Glenn C. Rhoads (06/27/04)
- Re: Is Binary BrainF*** Turing-complete? Daniel. (06/26/04)
- Re: j5n0j Keith (06/25/04)
- algorithm to determine if a rope is knotted. Abishek K (06/24/04)
- International Journal of Foundations of Computer Science - Vol. 15, No. 3 WSPC (06/24/04)
- [OT] ACM Membership John M. Gamble (06/24/04)
- P vs. NP: why prove a negative? Jamie (06/23/04)
- need topic for undergraduate course project adm (06/23/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
- Re: Theory: The Grand Metasynthesis Arthur T. Murray (06/22/04)
- books about sorting Mikito Harakiri (06/21/04)
- ICLP04: Call for participation -- early registration Arnaud Gotlieb (06/21/04)
- Binary Tree RamboTrout (06/21/04)
- Linear separability problems timpani (06/21/04)
- comp.theory,comp.sys.m6809,comp.os.ms-windows.nt.setup.misc,comp.infosystems.www.databases,misc.transport.road . (06/19/04)
- Abraham semiconductor test Martin Jesolowitz (06/18/04)
- Deciding if a grammar generates a regular language A Johnstone (06/18/04)
- Challenging Benchmarks for Maximum Clique (Independent Set) Problem Ke Xu (06/18/04)
- International Journal of Pattern Recognition and Artificial Intelligence - Vol. 18, No. 4 WSPC (06/17/04)
- Can some non-computable sequences be "computed" by non-halting TMs? r.e.s. (06/17/04)
- Classification, Hierarchies & Adaptive Clustering Ian (06/16/04)
- CFP: STACS 2005 - Call for Papers Holger Petersen (06/16/04)
- Re: The Definition of 'Analytic Function' Michael N. Christoff (06/16/04)
- Cantor's wrong! (doubt it) remlaps_at_despammed.com (06/15/04)
- A call to automated proof verification systems Booted Cat (06/14/04)
- PhD position in Algorithms Fedor Fomin (06/14/04)
- Turing Machine & Data Compression Alex Vinokur (06/14/04)
- Two components of a Universal Turing Machine Alex Vinokur (06/13/04)
- Are we LISP machines? Eray Ozkural exa (06/13/04)
- Why "Not Recently Used" algorithm is not stack Hossein Hojjat (06/12/04)
- Dijkstra Beni (06/12/04)
- CFP: LICS 2004 - Call for Participation Alex Simpson (06/11/04)
- Sorting: how many cycles Mikito Harakiri (06/09/04)
- Complexity of Propositional STRIPS Planning? Jeffrey Cox (06/08/04)
- Re: Questions in Formal Language Theory Alex Vinokur (06/08/04)
- Computing: The Australasian Theory Symposium Mike Atkinson (06/08/04)
- COCOON 2004: Call for participation COCOON 2004 (06/07/04)
- Re: Post machine: references? Alex Vinokur (06/06/04)
- Help with paper needed chris_42 (06/06/04)
- Optimizing Unit Clause Resolution Russell Easterly (06/06/04)
- Books for Game theory ratnik (06/04/04)
- Re: AI Theory Will Twentyman (06/03/04)
- question about relations saro (06/02/04)
- Re: resolving Will's misunderstanding Will Twentyman (06/01/04)
- A cake recipe is a computer program Eray Ozkural exa (06/01/04)
- The Meaning of Abstract Eray Ozkural exa (06/01/04)
- Re: Panu Raatikainen's review of two of Chaitin's books. Eray Ozkural exa (06/01/04)
- Re: [OT] Re: Bondy & Murty's book available on-line (was: Re: Eulerianpath in infinite graph) Shotgun Squad (06/01/04)
- 25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK Prof Jonathan Bowen (06/01/04)
- Re: limitation to the halting proof |-|erc (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) Neil W Rickert (05/31/04)
- neurons and artificial intelligence 2 bob (05/31/04)
- Re: P vs. NP Problem; 1WayFx Model a possible solution. Lance Lamboy (05/31/04)
Last message date: 06/30/04
Archived on: 06/30/04 CEST
538 messages sorted by: [ author ] [ date ] [ subject ]
