comp.theory
By Subject
538 messages sorted by: [ author ] [ date ] [ thread ]
Starting: 05/31/04
Ending: 06/30/04
- 25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK
- [OT] ACM Membership
- A cake recipe is a computer program
- A call to automated proof verification systems
- Abraham semiconductor test
- AI Theory
- Alan Turing's Halting Problem is incorrectly formed (PART-TWO)
- Alan Turings halting proof is incorrectly formed PT Herc
- algorithm to determine if a rope is knotted.
- Are we LISP machines?
- Are we LISP machines?)
- Binary Tree
- books about sorting
- Books for Game theory
- Can some non-computable sequences be "computed" by non-halting TMs?
- Cantor's wrong! (doubt it)
- CFP: LICS 2004 - Call for Participation
- CFP: SIGACT News Deadline is August 1
- CFP: STACS 2005 - Call for Papers
- Challenging Benchmarks for Maximum Clique (Independent Set) Problem
- Checksum/Function for testing inclusion property.
- Classification, Hierarchies & Adaptive Clustering
- COCOON 2004: Call for participation
- comp.theory,comp.sys.m6809,comp.os.ms-windows.nt.setup.misc,comp.infosystems.www.databases,misc.transport.road
- Complexity Exercise
- Complexity of Propositional STRIPS Planning?
- Computing Huffman codes on a Turing Machine
- Computing: The Australasian Theory Symposium
- Deciding if a grammar generates a regular language
- Dijkstra
- Education or Job Creation?
- Eulerianpath in infinite graph)
- expectations being satisfied)
- Formal languages
- Graph Partitioning Problem
- Halting Problem?
- Help with paper needed
- how do I make my computer a virgin?
- ICLP04: Call for participation -- early registration
- If you ever wanted to get busy with Bart Simpson
- Infinity does exist?
- International Journal of Foundations of Computer Science - Vol. 15, No. 3
- International Journal of Pattern Recognition and Artificial Intelligence - Vol. 18, No. 4
- Is Binary BrainF*** Turing-complete?
- j5n0j
- limitation to induction on finite bounds
- limitation to the halting proof
- Linear separability problems
- need topic for undergraduate course project
- neurons and artificial intelligence 2
- On representing processes - question on methodologies
- Optimizing Unit Clause Resolution
- P vs. NP Problem; 1WayFx Model a possible solution.
- P vs. NP: why prove a negative?
- Panu Raatikainen's review of two of Chaitin's books.
- PhD position in Algorithms
- Post machine: references?
- question about relations
- Questions in Formal Language Theory
- resolving Will's misunderstanding
- SAT: Equivalency Clauses and Substitution
- solving np-complete problems on quantum computers
- Sorting: how many cycles
- Sorting: how many cycles and inversions?
- The Definition of 'Analytic Function'
- The Meaning of Abstract
- Theory: The Grand Metasynthesis
- Turing Machine & Data Compression
- Two components of a Universal Turing Machine
- Why "Not Recently Used" algorithm is not stack
Last message date: 06/30/04
Archived on: 06/30/04 CEST
538 messages sorted by: [ author ] [ date ] [ thread ]
