comp.theory
By Thread
841 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 04/30/04
Ending: 05/31/04
- P vs. NP Problem; 1WayFx Model a possible solution. Alexander T. Hamming (05/31/04)
- Re: Bondy & Murty's book available on-line (was: Re: Eulerianpath in infinite graph) Kent Paul Dolan (05/31/04)
- neurons and artificial intelligence 2 bob (05/30/04)
- Variant of bridge-finding algorithm for "n-bridges" Jordan Samuels (05/30/04)
- P vs. NP Problem; 1WayFx Model a possible solution. Marius Ionescu (05/30/04)
- Re: AI Theory Arthur T. Murray (05/30/04)
- Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) Eray Ozkural exa (05/29/04)
- Boolean functions' invariant properties. conesetter (05/28/04)
- Re: neurons and artificial intelligence 2 bob (05/27/04)
- Randomized MIS in Scheduling sk prasad (05/27/04)
- Fadela Stefan Melis (05/27/04)
- Can NP be converted to P? ratnik (05/26/04)
- limitation to the halting proof |-|erc (05/26/04)
- Search Minimum of Maximums. Help Needed! A. Carkaci (05/24/04)
- enumerating (multi)sets of integers Mikito Harakiri (05/24/04)
- Computing by Observing MC (05/24/04)
- Maximum split subgraph Jim Nastos (05/24/04)
- What's the set of words which a Turing machine reads from start state to a final state? Thomas A. Li (05/24/04)
- Recursive solution to the LCS problem. Sabyasachi Basu (05/23/04)
- some newbie formal language questions confused (05/23/04)
- new site Andrew Murray (05/23/04)
- FACS FACTS Newsletter Call for Contributions on formal aspects of computing science (deadline 11 June 2004) Prof Jonathan Bowen (05/22/04)
- can I do better that binary search Abi (05/21/04)
- Search algorithm question Mike (05/21/04)
- On a non-constructive proof of Menger's theorem Rogério Brito (05/21/04)
- Algebraic Foundation For Formal Language Theory IV Mark Hopkins (05/20/04)
- Algebraic Foundation For Formal Language Theory I Mark Hopkins (05/20/04)
- SWAT 2004: Call for Participation Jyrki Katajainen (05/20/04)
- Re: Bondy & Murty's book available on-line (was: Re: Eulerian path ininfinite graph) George Cox (05/19/04)
- checking if 2 sets are identical Mikito Harakiri (05/19/04)
- Regular expressions with repetition counts Richard Tobin (05/19/04)
- Alghorithm: Complessity and Correcting. FlicK (05/18/04)
- resolving Will's misunderstanding |-|erc (05/18/04)
- Algorithmic Randomness is Universal (Was Re: Godel's Dualism ...) Eray Ozkural exa (05/17/04)
- Algorithmic Randomness is Universal (Was Re: Godel's Dualism ...) Eray Ozkural exa (05/17/04)
- Algorithmic Randomness is Universal (Was Re: Godel's Dualism ...) Eray Ozkural exa (05/17/04)
- Minimal Set Cover ?nder ?lker (05/17/04)
- Graph Theory problem Storm (05/16/04)
- HALTING DISPROOF |-|erc (05/16/04)
- FSM union,intersection,factoring V.Z.Nuri (05/14/04)
- PhD position available Fredrik Manne (05/13/04)
- Re: Looking for an algorithm... Arthur T. Murray (05/13/04)
- ANN: 6th Int. Workshop on Logic & Computaional Complexity royer_at_ecs.syr.edu (05/12/04)
- Panu Raatikainen's review of two of Chaitin's books. Eray Ozkural exa (05/12/04)
- Re: Godel's Dualism (Re: Reflections Godel Wang) Eray Ozkural exa (05/12/04)
- Special Issue: Graph Matching in Pattern Recognition and Machine Vision WSPC (05/12/04)
- **theory-edge** mailing list V.Z.Nuri (05/12/04)
- THeoremProver.com is ONLINE! |-|erc (05/11/04)
- Finding vertices that keep a connected graph connected... Mikael Sheikh (05/10/04)
- Parallel Searching Graphs Mike (05/10/04)
- Church-Turing Argument Patrick Meuser (05/10/04)
- Re: When does it matter if a distance function is a metric or not? Tobias Fritz (05/09/04)
- O(n) algorithm using hash table for a specific problem Naama (05/08/04)
- Graph Grammars resources DrKey (05/08/04)
- maximum leaf spanning tree Gregor Rot (05/07/04)
- On-line lectures Tomasz Kornacki (05/07/04)
- OT? - Total storage space in the world Dave Dixson (05/07/04)
- Re: what is "sublinear" complexity? Matteo Slanina (05/07/04)
- RTSS 2004 deadline extended to May 12 Scott Brandt (05/06/04)
- Axiomatic System for Computer Science Charlie-Boo (05/06/04)
- Minimal sufficient subset Mark Wooding (05/06/04)
- Strong NPC and pseudo-polynomial time algorithms Simon Thoresen (05/05/04)
- Kurt Godel: Unpublished Philosophical Essays, by F. A. Rodriquez-Consuegra and Kurt Godel Eray Ozkural exa (05/04/04)
- A question about two formal languages Bilal Sallakh (05/04/04)
- Re: How difficult is the firing squad synchronization problem? Michael Mendelsohn (05/03/04)
- Re: functions that halt Will Twentyman (05/03/04)
- Re: PROOF that numbers are countable |-|erc (05/03/04)
- Re: Functional Programming Language uses? |-|erc (05/03/04)
- IWPEC deadline extended Michael A. Langston (05/02/04)
- Has anyone read/come across this paper? Zero (05/02/04)
- Re: PROOF that emulators are impossible Charlie-Boo (05/01/04)
- Courses in AP and other statistics Herman Rubin (05/01/04)
- My Gay Partner Shoveing an Apple up His Anus davidjones_at_optonline.net (05/01/04)
- Re: Formal Semantics of the Java "new" Operator Arthur J. O'Dwyer (05/01/04)
- Princess Diana Nude, From Photo Archives karensmith_at_optonline.net (05/01/04)
- Re: My Experience as a "Non Gifted" Child Michael Varney (04/30/04)
Last message date: 05/31/04
Archived on: 05/31/04 CEST
841 messages sorted by: [ author ] [ date ] [ subject ]
