(0.013 seconds) Articles (5137) |<First << Prev /257 Next>> Last >| Halting Problem through Contradiction? 6 291 (7/18/2003 4:04:16 AM) intrest86 (5) NP and Co-NP 11 496 (7/10/2003 3:01:36 PM) K-Stern (27) how to prove the language L(G) produced by Grammar G. 1 558 (7/20/2003 10:03:44 PM) ibbu79 (15) NFA minimization 1 412 (7/18/2003 2:47:36 PM) shobhit_raj (7) 3D Convex Hull 2 416 (7/19/2003 6:05:34 AM) tobima1 (2) How do you prove that two context free grammars are equivalent ? 1 676 (7/18/2003 3:18:17 PM) coolsatish_2000 (1) new book, _Automatic Sequences_ 3 200 (7/17/2003 2:21:43 PM) shallit (3) equality of the size of two sets? 26 529 (7/15/2003 12:27:20 PM) shuc14 (3) Min-cut algorithm suggestions? 3 258 (7/16/2003 1:01:03 AM) path0021 (7) Uncomputeable Functions in our Univers 5 244 (7/11/2003 8:55:29 AM) sky4walk (18) What is difference between Turing machine model and Boolian circuit model? 2 724 (7/12/2003 7:39:36 AM) nice2357 (3) Improve your Programming Contest Skills! 14 586 (7/8/2003 6:00:13 PM) wjimenez (1) Finding the set of edges that form circuits in digraph 2 249 (7/14/2003 6:05:55 PM) nojack1 (4) CFP: AI+MATH 04 0 373 (7/14/2003 6:17:35 PM) gkatsi (8) Infinities in Digital Physics 2 240 (7/13/2003 11:41:17 PM) pmeuser (22) parameterized complexity of hitting set 0 205 (7/13/2003 6:29:04 PM) dmarx (9) Cryptography 0 293 (7/12/2003 7:23:38 AM) nice2357 (3) Is this proof correct? 0 573 (7/11/2003 7:26:43 AM) no4864 (48) NP-completeness proof of Euclidean k-clustering? 3 463 (7/4/2003 1:54:30 PM) juhkivij (2) Computable Reals 0 426 (7/10/2003 1:00:53 AM) tdo (3)