comp.theory
By Thread
487 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 03/31/04
Ending: 04/30/04
- Call for participation: 25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK Prof Jonathan Bowen (04/30/04)
- My Experience as a "Non Gifted" Child Ender (04/30/04)
- Re: Formal Semantics of the Java "new" Operator Kent Paul Dolan (04/30/04)
- Bin Laden Captured - photos and video jamiewalker_at_wp.shawcable.net (04/29/04)
- GOLD Parser News: Version 2.2 was released! DevinCook.com (04/29/04)
- Are there any non-gifted scientists?!?!? Der Fugue (04/29/04)
- PROOF that emulators are impossible |-|erc (04/29/04)
- Is it possible to choose a better way? Alpha (04/27/04)
- CFP: 8th Intnl. Conf. on Relational Methods in Computer Science Michael Winter (04/27/04)
- Post doc position available Lars A. Arge (04/26/04)
- Indeger division with negative reminders? Yahiko (04/26/04)
- International Journal of Foundations of Computer Science - Vol 15 No 2 WSPC (04/26/04)
- Pumping Lemma Palindrome labrat (04/26/04)
- P vs NP and a finite number of sybmols? Casey Hawthorne (04/25/04)
- Graph Theory problem Storm (04/25/04)
- WP Calculus vass (04/25/04)
- Hiding Exact Solutions in Random Graphs Ke Xu (04/25/04)
- Wall Street Journal article on TSP None (04/25/04)
- Re: Graph Algorithm Question Bilal Sallakh (04/25/04)
- How difficult is the firing squad synchronization problem? Tim Smith (04/24/04)
- A CFG for a CFL Bilal Sallakh (04/24/04)
- Webservers Desperadoss (04/23/04)
- IWPEC CFP Michael A. Langston (04/22/04)
- AICCSA CFP Michael A. Langston (04/22/04)
- petri net languages alex schubert (04/21/04)
- Service Management, ITIL, ITSM new group Peter H.M. Brooks (04/21/04)
- Ehrenfeuct game for First-order logic without equality Anthony WIDJAJA (04/21/04)
- Issues on clockless UART Shashi (04/21/04)
- transform knapsack problem -> programming code Matt (04/20/04)
- An extension to OOP Booted Cat (04/20/04)
- An extension to OOP Booted Cat (04/20/04)
- 2nd CFP Workshop on Combinatorial and Algorithmic Aspects of Networking Alex Lopez-Ortiz (04/20/04)
- Re: P = NP and if the following idea makes sense Kent Paul Dolan (04/20/04)
- Call for an Impeachment Inquiry of Bush and Cheney David Watson (04/19/04)
- P != PSPACE ? and quantum computing Dalibor Hrg (04/19/04)
- Clarifying nondeterminism Simon Thoresen (04/19/04)
- Cognitive Architecture Arthur T. Murray (04/17/04)
- Re: Sorting algorithm problem Scott Dorsey (04/17/04)
- Machine Learning for Signal Processing 2004 in Brazil: CFP Machine Learning for Signal Processing 2004 (04/16/04)
- formal languages problem montecristo (04/16/04)
- Software for causal and acausal rule discovery Kamran Karimi (04/14/04)
- ACM-SIAM Symposium on Discrete Algorithms - CFP Deadline K.Wilden (04/14/04)
- Pokeing a snake up my *** 9973 june_at_vf.shawcable.net (04/14/04)
- cycle detection in undirected graph venkat (04/14/04)
- (fixed) P vs NP: my proof of P != NP Mikhail N. Kupchik (04/13/04)
- The T-shaped Universe Plamen Petrov (04/13/04)
- Graph challenge Chris Jones (04/13/04)
- Truth table approach Paul Franklin (04/13/04)
- how to simulate a Turing Machine on a Post Machine ?? looking4answers (04/13/04)
- Quantum Prime Factorization Algorithm Willard Thompson (04/12/04)
- partial functions without a total extension Vincenzo (04/12/04)
- Graph query: similar to connectivity raigan (04/12/04)
- Advice for undergraduate schools? John Doe (04/12/04)
- Generalized Topological Sorting Mohammad Hossein Rohban (04/11/04)
- name for a small variation of the quicksort Lucas Jr. (04/10/04)
- Work around of using 1D-LUT instead of 2D-LUT Jason (04/10/04)
- LISPPA (List Processing based on the Polymorphic Arrays) Alexander Baranovsky (04/09/04)
- Good Reference for Digraphs Mohammad Ali Safari (04/09/04)
- Reading Gamma Codes in Reverse? Ken Willets (04/08/04)
- Re: How to Reducing to Conjuntive Normal Form Stephan Schulz (04/08/04)
- Visiting Assistant Professor position at Purdue University Jeff Vitter (04/08/04)
- Reminder: SIGACT News Deadline May 1 David J. Haglin (04/08/04)
- Proof of an integer programming problem Gang Lu (04/08/04)
- Minimum Bisection Vineet (04/07/04)
- Machine Learning for Signal Processing 2004 in Brazil: CFP Machine Learning for Signal Processing 2004 (04/07/04)
- New website: Computability Logic Giorgi Japaridze (04/07/04)
- Sort algorithm for probablistic comparison function Anthony Uk (04/06/04)
- (graph theory: path problem)how to tell how many path are there from s to t in a graph? Alfred Kerns (04/06/04)
- Composite hash table/linked list Julienne Walker (04/06/04)
- Who Invented Heaps? Majorinc, Kazimir (04/06/04)
- Creating an infinite loop on an undirected graph. Efi Merdler (04/05/04)
- A TURING MACHINE that counts in binary |-|erc (04/05/04)
- Optimal data structure Chris Jones (04/05/04)
- Re: P vs NP: my proof of P != NP. |-|erc (04/05/04)
- Data Structure course mark (04/05/04)
- all paths between 2 nodes chongo (04/05/04)
- 12TET Musical 3-Interval-String/6-Interval Cell/Set Non-Redundancy Permutation Ordering Problem: Melody Droid (04/02/04)
- P vs NP: my proof of P != NP Mikhail N. Kupchik (04/02/04)
- Re: Exponential but not in NP Daniel Vallstrom (04/02/04)
- "splitting" a propositional sentence Deepak Ramachandran (04/02/04)
- Re: Complexity of refuting Turing machine impostors |-|erc (04/02/04)
- functions that halt |-|erc (04/02/04)
- CFP: LICS 2004: Call for Short Presentations Alex Simpson (04/01/04)
- P = NP Proof Soon To Be Published Alfred Einstead (04/01/04)
- Re: Is this SET of computable numbers computable? The Ghost In The Machine (04/01/04)
- Re: 3-Hitting Set Gerhard Woeginger (04/01/04)
- Re: future of programming languages Mantorok Redgormor (04/01/04)
- non-turing-complete languages Johnicholas Hines (04/01/04)
- Re: Changing minimization to maximization, do the following problems change? Alfred Kerns (04/01/04)
- REMINDER -- AWOCA submission deadline is April-30-2004 Prabhu Manyem (04/01/04)
- Graph as Isomorphism Class -- what operation? Mikito Harakiri (03/31/04)
- Re: How is this collection called? Mikito Harakiri (03/31/04)
Last message date: 04/30/04
Archived on: 04/30/04 CEST
487 messages sorted by: [ author ] [ date ] [ subject ]
