comp.theory
By Thread
670 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 11/30/04
Ending: 12/30/04
- FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005) Paul Boca (12/30/04)
- Hot 22 Year Old Looking For Love Or More.....Please Contact Me.......... M91E bgkiwfox_at_freedvd.com (12/30/04)
- Branching programs Srikanth (12/29/04)
- sets against folders in filesystems maccatalan_at_maccatalan.net (12/28/04)
- P algorithms with lower bounds vznuri_at_yahoo.com (12/26/04)
- Direct graph isomorphism algorithm Rashid Faizullin (12/24/04)
- Turing's Halting Algorithm Question phl (12/24/04)
- FOL Deduction Question Zarius (12/23/04)
- ping Xanthian was Re: Wikipedia on "Decision Problems" artist formally known as |-|erc (12/22/04)
- Shannon's information theory Thomas B. (12/21/04)
- Re: Version 2.5 of the GOLD Parser Builder was just released Nameless (12/20/04)
- Re: Grammatical Recursion Helmut Richter (12/20/04)
- Silly Recurrence klostermeyer_at_hotmail.com (12/20/04)
- A way for P!=NP (2) Denis (12/19/04)
- Seeking independent study materials for approximation algorithms Daubechies4 (12/17/04)
- CFP: [TABLEAUX 2005] Call for Papers and Call for Tutorials Gernot Stenz (12/17/04)
- Complex Systems -> Universality in Rule 110 -> Matthew Cook Genaro Juárez Martínez (12/17/04)
- CFP: CP-AI-OR 2005: Second call for papers W.J. van Hoeve (12/16/04)
- Re: What's New on the Web : Today etamp (12/15/04)
- 500 Slides Available For "The Complexity Companion" Computational Complexity (12/14/04)
- CFP: Multi-disciplinary Workshop on Preferences Ulrich Junker (12/14/04)
- Grammar analysis tools John (12/12/04)
- Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/11/04)
- Re: k-Clique for small fixed k Stas Busygin (12/11/04)
- Reduce Vertex Cover to Feedback Arc set Niklas Pettersson (12/11/04)
- PhD research assistantships in machine learning at OGI mcarre68_at_gmail.com (12/11/04)
- Equivalence of P, AL and multi-head pushdown automata kve adelphia net (12/11/04)
- Executive Information Systems research matnicholls (12/10/04)
- Research Associate Position "A Theory of Tracing Pure Functional Programs" Olaf Chitil (12/10/04)
- Theories of general machines examachine_at_gmail.com (12/10/04)
- Re: Zenkin's paper on Cantor examachine_at_gmail.com (12/10/04)
- EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/10/04)
- Help: A two player game.. bhaskaraaditya_at_msn.com (12/10/04)
- (Unsure where to post) atomx (12/09/04)
- Re: Executive Information Systems matnicholls (12/09/04)
- Positions in algorithms Anna ?stlin Pagh (12/09/04)
- Re: another proof that p is not np cafeinst_at_msn.com (12/08/04)
- Reduce from X to "maximum acyclic subgraph"? Niklas Pettersson (12/08/04)
- Vector multiplication system Jym (12/08/04)
- Open Positions Nigel Smart (12/08/04)
- STACS 2005 Call for Participation Holger Petersen (12/06/04)
- Re: No Unique Initial Segment And No Characteristic Expansion Uncle Al (12/04/04)
- Re: No Unique Initial Segment And No Characteristic Expansion Uncle Al (12/04/04)
- Robust Algorithms Amir massoud Farahmand (12/03/04)
- Number of prime factors of an odd perfect number Edmond (12/03/04)
- Re: No Unique Initial Segment And No Characteristic Expansion. Uncle Al (12/03/04)
- Example of a formulation in production scheduling M. Nikraz (12/03/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Eray Ozkural exa (12/02/04)
- The necessary conditions for models of computation examachine_at_gmail.com (12/02/04)
- Re: Rules Engines - Best Practices? Gregory Toomey (12/02/04)
- BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 21 December 2004 Prof Jonathan Bowen (12/02/04)
- String Patterns Reza Ferry (12/01/04)
- Poll: Are PCs Turing Machines? Eray Ozkural exa (12/01/04)
- Re: finite maze solving algorithm conesetter (12/01/04)
- Re: Turing Machines and Physical Computation & TM 'S REVISIONISTS Eray Ozkural exa (12/01/04)
- Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/01/04)
- shortest paths question Jani Yusef (12/01/04)
- Re: Computer language and category theory Alfred Einstead (11/30/04)
- Re: mathematics Eray Ozkural exa (11/30/04)
- Re: Turing Machines and Physical Computation patty (11/30/04)
- Re: Platonism Neil W Rickert (11/30/04)
Last message date: 12/30/04
Archived on: 12/31/04 CET
670 messages sorted by: [ author ] [ date ] [ subject ]
