Phutball is PSPACE-hardDERENIOWSKI, Dariusz.Theoretical computer science. 2010, Vol 411, Num 44-46, pp 3971-3978, issn 0304-3975, 8 p.Article

Introduction of quantum computing from the computer science perspective and reviewing activities : Quantum information technologyFORTNOW, Lance.NEC research & development. 2003, Vol 44, Num 3, pp 268-272, issn 0547-051X, 5 p.Article

On the resolution-based family of abstract argumentation semantics and its grounded instanceBARONI, P; DUNNE, P. E; GIACOMIN, M et al.Artificial intelligence (General ed.). 2011, Vol 175, Num 3-4, pp 791-813, issn 0004-3702, 23 p.Article

Refinement of the alternating space hierarchyGEFFERT, Viliam; POPELY, Norbert.Computing and informatics. 2002, Vol 21, Num 6, pp 607-616, issn 1335-9150, 10 p.Article

On the computational complexity of cost efficiency analysis modelsJAHANSHAHLOO, G. R; SOLEIMANI-DAMANEH, M; MOSTAFAEE, A et al.Applied mathematics and computation. 2007, Vol 188, Num 1, pp 638-640, issn 0096-3003, 3 p.Article

Using Complexity to Protect ElectionsFALISZEWSKI, Piotr; HEMASPAANDRA, Edith; HEMASPAANDRA, Lane A et al.Communications of the ACM. 2010, Vol 53, Num 11, issn 0001-0782, 74-82 [8 p.]Article

Parameterized complexity: The main ideas and some research frontiersFELLOWS, Michael R.Lecture notes in computer science. 2001, pp 291-307, issn 0302-9743, isbn 3-540-42985-9Conference Paper

Extracting Computational Entropy and Learning Noisy Linear FunctionsLEE, Chia-Jung; LU, Chi-Jen; TSAI, Shi-Chun et al.IEEE transactions on information theory. 2011, Vol 57, Num 8, pp 5485-5496, issn 0018-9448, 12 p.Article

A short note on some tractable cases of the satisfiability problemVAN MAAREN, H.Information and computation (Print). 2000, Vol 158, Num 2, pp 125-130, issn 0890-5401Article

Atomic snapshots in O(n log n) operationsATTIYA, H; RACHMAN, O.SIAM journal on computing (Print). 1998, Vol 27, Num 2, pp 319-340, issn 0097-5397Article

The bit complexity of the predecessor problemAFEK, Y; COHEN, M; HAALMAN, E et al.Information processing letters. 1997, Vol 63, Num 2, pp 109-112, issn 0020-0190Article

Route selection with multiple metricsBAGCHI, A.Information processing letters. 1997, Vol 64, Num 4, pp 203-205, issn 0020-0190Article

Data editing and imputation from a computational point of viewWILLENBORG, L. C. R. J.Statistica neerlandica. 1995, Vol 49, Num 2, pp 139-151, issn 0039-0402Article

The history of complexityFORTNOW, Lance.Proceedings - IEEE Conference on Computational Complexity. 2002, issn 1093-0159, isbn 0-7695-1468-5, p. 61Conference Paper

Space Hierarchy Theorem revisedGEFFERT, Viliam.Lecture notes in computer science. 2001, pp 387-397, issn 0302-9743, isbn 3-540-42496-2Conference Paper

On the comparison complexity of the string prefix-matching problemBRESLAUER, D; COLUSSI, L; TONIOLO, L et al.Journal of algorithms (Print). 1998, Vol 29, Num 1, pp 18-67, issn 0196-6774Article

Perfectly secure key distribution for dynamic conferencesBLUNDO, C; DE SANTIS, A; HERZBERG, A et al.Information and computation (Print). 1998, Vol 146, Num 1, pp 1-23, issn 0890-5401Article

Revisiting a result of KoCINTIOLI, P; SILVESTRI, R.Information processing letters. 1997, Vol 61, Num 4, pp 189-194, issn 0020-0190Article

The Barendregt Cube with definitions and generalised reductionBLOO, R; KAMAREDDINE, F; NEDERPELT, R et al.Information and computation (Print). 1996, Vol 126, Num 2, pp 123-143, issn 0890-5401Article

Complexity classes between θ^p_k and Δ^p_kCASTRO, J; SEARA, C.Informatique théorique et applications (Imprimé). 1996, Vol 30, Num 2, pp 101-121, issn 0988-3754Conference Paper

Circuits on cylindersHANSEN, Kristoffer Arnsfelt; MILTERSEN, Peter Bro; VINAY, V et al.Lecture notes in computer science. 2003, pp 171-182, issn 0302-9743, isbn 3-540-40543-7, 12 p.Conference Paper

Type inference for pure type systemsSEVERI, P.Information and computation (Print). 1998, Vol 143, Num 1, pp 1-23, issn 0890-5401Article

Linearity and unprovability of set union problem strategies. I. Linearity of strong postorderLOEBL, M; NESETRIL, J.Journal of algorithms (Print). 1997, Vol 23, Num 2, pp 207-220, issn 0196-6774Article

A note on parallel complexity of maximum f-matchingDESSMARK, A; GARRIDO, O; LINGAS, A et al.Information processing letters. 1998, Vol 65, Num 2, pp 107-109, issn 0020-0190Article

Test sequence generation from the protocol data portion based on the Selecting Chinese Postman algorithmCHEN, W.-H.Information processing letters. 1998, Vol 65, Num 5, pp 261-268, issn 0020-0190Article