comp.theory
By Thread
1272 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 12/30/04
Ending: 01/31/05
- FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005) Paul Boca (01/30/05)
- My claim on Omega's defn |-|erc (01/30/05)
- Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/29/05)
- Herc defines the HOLY GRAIL OF MATHEMATICS |-|erc (01/29/05)
- Ambiguous and not ambiguous Context Free Grammars iluhinson_at_gmail.com (01/28/05)
- Decidabilty of a problem of regular languages Miguel.V (01/28/05)
- A Class of X3SAT Solvable in PolyTime Russell Easterly (01/28/05)
- Is it known whether or not integer factoring is NP-complete? Kerry Soileau (01/28/05)
- higher-order logic alex goldman (01/27/05)
- Graph drawing tool ronaldfinkbine_at_hotmail.com (01/26/05)
- two questions about unicyclic graph Joe (01/26/05)
- Q: solving SAT: generating extended resolution proofs using techniques for resolution? Will Nayor (01/26/05)
- A New Layer on the USENET yaoziyuan_at_gmail.com (01/26/05)
- Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > |-|erc (01/26/05)
- Prime Factor-Based n-ary Tree Foobarus Frobinium (01/25/05)
- Universal Hashing Functions for strings John (01/24/05)
- Approximate Eigenvalues John (01/24/05)
- Are current indexing methods too simple? jblanch (01/23/05)
- Is stright indexing taking up too much space? jblanch (01/23/05)
- Re: AI will never work in 100 years !!!! nobody (01/23/05)
- Who introduced Nondeterministic Turing Machine? Thomas A. Li (01/23/05)
- Why we cannot compute omega |-|erc (01/22/05)
- About Prufer code Joe (01/22/05)
- Finding Maximal Clique Edward Wijaya (01/22/05)
- Input/Output Cache Systems for the Web Yao Ziyuan (01/22/05)
- How to design a linear algorithm to determine whether two uncyclic graphs are ismophic Joe (01/21/05)
- To generate all permutations of length N yaoziyuan_at_gmail.com (01/21/05)
- Sum types darkk_at_wo.cz (01/21/05)
- How far can you move the bar MONOSPACED |-|erc (01/21/05)
- How FAR can I move the BAR |-|erc (01/21/05)
- Define : X is_on_the_list L to Y many_digits |-|erc (01/21/05)
- WELL WHICH IS IT... ? |-|erc (01/21/05)
- Making images - best language? yeahright_at_sitandspin.com (01/21/05)
- atoi puzzlecracker (01/20/05)
- atoi puzzlecracker (01/20/05)
- Complexity of minimal circuit Roderick Bloem (01/20/05)
- HERC 97 SCI.MATH 0 |-|erc (01/20/05)
- Quest For The Minimal Instruction Set sytelus_at_yahoo.com (01/20/05)
- Follow-up tcne (01/20/05)
- ******* TRY THESE SCI.MATH ********** |-|erc (01/20/05)
- riddles array puzzlecracker (01/20/05)
- "A random real number will be on a computables list to an infinite number of digits" |-|erc (01/20/05)
- Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV David Ames (01/20/05)
- LL TO BST puzzlecracker (01/19/05)
- Who can prove Boruvka's algorithm ? Joe (01/19/05)
- Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVV bryant_j_j_at_yahoo.com (01/19/05)
- I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY |-|erc (01/19/05)
- How many flips of DIAG are on the infintie list of infinite con flippers ? |-|erc (01/19/05)
- little-oh Andersen (01/19/05)
- How many flips of DIAG are on the infintie list of infinite con flippers? |-|erc (01/19/05)
- centre of graph Joe (01/19/05)
- How to compare O(log(d,n)) and O(n^(1/d)) Leon (01/18/05)
- bound on number of shortest paths in a undirected & unweighted graph les_ander_at_yahoo.com (01/18/05)
- *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** |-|erc (01/18/05)
- random eulerian circuit tour Ken (01/18/05)
- Re: How many digits is pi computable to? Bill Smythe (01/17/05)
- two questions about unicyclic graph Joe (01/17/05)
- True = [ proven | provable ] |-|erc (01/17/05)
- CFP: SAT 2005 (2nd CFP) Toby Walsh (01/17/05)
- advise on math course scottW (01/17/05)
- WADS 2005 Call for papers Alex Lopez-Ortiz (01/16/05)
- In case you studied the GOTO theoretical language... THE SWARM MASTER (01/16/05)
- Re: Wanted: Nondeterministic Turing Machine of Polynomial Time Complexity Alex Vinokur (01/16/05)
- finding ALL shortest paths from i to j (not All pair shortest paths) les_ander_at_yahoo.com (01/15/05)
- Re: usenet kooks and a crank scale |-|erc (01/15/05)
- Closer and closer you move to the Cantorian cliff |-|erc (01/15/05)
- SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? |-|erc (01/14/05)
- Is this hash function Universal? John (01/13/05)
- Metatopic: newsgroups vs. blogs Mitch Harris (01/13/05)
- Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals |-|erc (01/13/05)
- Lower bound analysis, question Smalmatskungen (01/12/05)
- Number System rehhman (01/12/05)
- Fast arrays Przemyslaw Wesolek (01/12/05)
- The hyper-infinity believers friendly question |-|erc (01/12/05)
- Finding maximal repeating substring using suffix tree dayzman_at_hotmail.com (01/12/05)
- A Clause Based Upperbound for 3XSAT Russell Easterly (01/12/05)
- Why NP Problem is Important and Practical Examples jrefactors_at_hotmail.com (01/12/05)
- SIGACT News Deadline, Feb 1 David J. Haglin (01/12/05)
- Winning Ways: NP-hardness question Mitch Harris (01/11/05)
- Re: Uncountability of reals was Re: countability of reals |-|erc (01/11/05)
- HOW MANY DIGITS OF PI HAVE PROPERTY X ? |-|erc (01/11/05)
- Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (01/11/05)
- In case you studied the GOTO theoretical language... THE SWARM MASTER (01/11/05)
- Is this Binary Tree correct ? brianm (01/10/05)
- In case you studied the GOTO theoretical language... THE SWARM MASTER (01/09/05)
- Re: Scholarship in Paderborn, Germany siahpoushha (01/09/05)
- THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? |-|erc (01/09/05)
- [complexity][algorithm] Find a clique in a graph Marco (01/08/05)
- Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (01/08/05)
- CFP: CP-AI-OR 2005: Last call for papers W.J. van Hoeve (01/08/05)
- Difference between AN UNKNOWN and UNKNOWN |-|erc (01/08/05)
- Kolmogorov? Rick Decker (01/08/05)
- Test, Please ignore! John (01/07/05)
- Tree Automata Intersection Algorithm google_at_technologist.com (01/07/05)
- Finding large bipartite subgraphs Jussi Rintanen (01/07/05)
- word relavence jblanch (01/07/05)
- turing machine Kvele (01/07/05)
- OPPOSITE OF all coin sequences are computable to infinite length ? |-|erc (01/07/05)
- Towards disproof of Omega 2 |-|erc (01/06/05)
- Towards disproof of Omega |-|erc (01/06/05)
- SafeDisc and others... Dan Rossul (01/04/05)
- Re: Silly Recurrence per.vognsen_at_gmail.com (01/03/05)
- MTTF of a Disk Array berndlosert_at_netscape.net (01/03/05)
- [meta]: Smaller UTM than Rule110 Kent Paul Dolan (01/02/05)
- examples of nfa to dfa conversion sergei_m_1_at_yahoo.com (01/01/05)
- Smaller UTM than Rule110 André Betz (01/01/05)
- Re: Shannon's information theory Thomas B. (01/01/05)
- [META] Google "Scholar" Kent Paul Dolan (12/31/04)
Last message date: 01/31/05
Archived on: 01/31/05 CET
1272 messages sorted by: [ author ] [ date ] [ subject ]
