comp.theory
- Proving Minimality of States of a DFA,
Bernd L
- فضيحـــة نانــســــي عــجـــرم 2008,
فواز
- Re: Looking for dependency graph graphics generator,
samwyse
- Question about indicator function of recursive and r.e. sets,
Twoflower
- Call for Papers - 13th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS08),
Paolo Romano
- Why isn't NP simply "not polynomial"?,
Digital Puer
- Errata for Semigroups and Combinatorial Applications by G. Lallement?,
scaaahu
- HCI Grad Program available at Indiana University IUPUI,
ajfaiola
- Formal Grammar without replacement,
Jon Slaughter
- Anyone wanna help with a compression routine (new type),
Einstein
- Extended Cocke-Minsky Scheme,
r.e.s.
- a question regards propositional modal logic,
Min
- Proving a Language Regular,
Bernd L
Mathematical definition of word substitution?,
Tegiri Nenashi
shortest remaining process time - estimations,
kalle07
Quineless Turing-complete languages,
r.e.s.
Re: How to abstract a set?,
rpost
recognition algorithm for series-parallel graph,
fpalamariu
Neighbors of a Vertex,
Sam
ANN: 1 year MS/MSc course in Computer Science at Edinburgh University,
Bob Fisher
computer theory for science,
balu
Minimum Time Cost Problem - Dijkstra’s algorithm,
Sam
An effective search algorithm for the subset sum problem,
Yao Ziyuan
Re: Subset sum problem: probabilistic fast testing algorithm...,
Yao Ziyuan
I have an unusual question,
Einstein
Re: I have an unusual question,
Richard Harter
Digit-oriented error detection and correction,
rpodraza
