A characterization of computable analysis on unbounded domains using differential equationsCAMPAGNOLO, Manuel L; OJAKIAN, Kerry.Information and computation (Print). 2011, Vol 209, Num 8, pp 1135-1159, issn 0890-5401, 25 p.Article

Algebraic proofs over noncommutative formulasTZAMERET, Iddo.Information and computation (Print). 2011, Vol 209, Num 10, pp 1269-1292, issn 0890-5401, 24 p.Article

Complexity classes of equivalence problems revisitedFORTNOW, Lance; GROCHOW, Joshua A.Information and computation (Print). 2011, Vol 209, Num 4, pp 748-763, issn 0890-5401, 16 p.Article

Extensions of MSO and the monadic counting hierarchyKONTINEN, Juha; NIEMISTÖ, Hannu.Information and computation (Print). 2011, Vol 209, Num 1, pp 1-19, issn 0890-5401, 19 p.Article

Faster query algorithms for the text fingerprinting problemCHAN, Chi-Yuan; YU, Hung-I; HON, Wing-Kai et al.Information and computation (Print). 2011, Vol 209, Num 7, pp 1057-1069, issn 0890-5401, 13 p.Article

Levels of undecidability in rewritingENDRULLIS, Jörg; GEUVERS, Herman; GRUE SIMONSEN, Jakob et al.Information and computation (Print). 2011, Vol 209, Num 2, pp 227-245, issn 0890-5401, 19 p.Article

On the expressive power of schemesDOWEK, Gilles; YING JIANG.Information and computation (Print). 2011, Vol 209, Num 9, pp 1231-1245, issn 0890-5401, 15 p.Article

Verification of reactive systems via instantiation of Parameterised Boolean Equation SystemsPLOEGER, B; WESSELINK, J. W; WILLEMSE, T. A. C et al.Information and computation (Print). 2011, Vol 209, Num 4, pp 637-663, issn 0890-5401, 27 p.Article

Curves that must be retracedXIAOYANG GU; LUTZ, Jack H; MAYORDOMO, Elvira et al.Information and computation (Print). 2011, Vol 209, Num 6, pp 992-1006, issn 0890-5401, 15 p.Article

20th International Conference on Concurrency Theory (CONCUR 2009)BRAVETTI, Mario; ZAVATTARO, Gianluigi.Information and computation (Print). 2011, Vol 209, Num 5, issn 0890-5401, 109 p.Conference Proceedings

A modal logic internalizing normal proofsPARK, Sungwoo; IM, Hyeonseung.Information and computation (Print). 2011, Vol 209, Num 12, pp 1519-1535, issn 0890-5401, 17 p.Article

Absolute convergence of rational series is semi-decidableBAILLY, Raphael; DENIS, François.Information and computation (Print). 2011, Vol 209, Num 3, pp 280-295, issn 0890-5401, 16 p.Conference Paper

Computational complexity of the problem of tree generation under fine-grained access control policiesMOORE, N.Information and computation (Print). 2011, Vol 209, Num 3, pp 548-567, issn 0890-5401, 20 p.Conference Paper

Abstract deduction and inferential models for type theoryGENTILINI, Paolo; MARTELLI, Maurizio.Information and computation (Print). 2010, Vol 208, Num 7, pp 737-771, issn 0890-5401, 35 p.Article

Compositional verification and 3-valued abstractions join forcesSHOHAM, Sharon; GRUMBERG, Orna.Information and computation (Print). 2010, Vol 208, Num 2, pp 178-202, issn 0890-5401, 25 p.Article

On hierarchically developing reactive systemsNAIJUN ZHAN; MAJSTER-CEDERBAUM, Mila.Information and computation (Print). 2010, Vol 208, Num 9, pp 997-1019, issn 0890-5401, 23 p.Article

On probabilistic pushdown automataHROMKOVIC, Juraj; SCHNITGER, Georg.Information and computation (Print). 2010, Vol 208, Num 8, pp 982-995, issn 0890-5401, 14 p.Article

On the universe, disjointness, and containment problems for simple machinesIBARRA, Oscar H.Information and computation (Print). 2010, Vol 208, Num 11, pp 1273-1282, issn 0890-5401, 10 p.Article

Topological properties of concept spaces (full version)DE BRECHT, Matthew; YAMAMOTO, Akihiro.Information and computation (Print). 2010, Vol 208, Num 4, pp 327-340, issn 0890-5401, 14 p.Article

Towards a unified approach to encodability and separation results for process calculiGORLA, Daniele.Information and computation (Print). 2010, Vol 208, Num 9, pp 1031-1053, issn 0890-5401, 23 p.Article

Treewidth computations I. Upper boundsBODLAENDER, Hans L; KOSTER, Arie M. C. A.Information and computation (Print). 2010, Vol 208, Num 3, pp 259-275, issn 0890-5401, 17 p.Article

Strategy logicCHATTERJEE, Krishnendu; HENZINGER, Thomas A; PITERMAN, Nir et al.Information and computation (Print). 2010, Vol 208, Num 6, pp 677-693, issn 0890-5401, 17 p.Article

Subsequential transducers: a coalgebraic perspectiveHVID HANSEN, Helle.Information and computation (Print). 2010, Vol 208, Num 12, pp 1368-1397, issn 0890-5401, 30 p.Conference Paper

Symmetries, local names and dynamic (de)-allocation of namesCIANCIA, Vincenzo; MONTANARI, Ugo.Information and computation (Print). 2010, Vol 208, Num 12, pp 1349-1367, issn 0890-5401, 19 p.Conference Paper

A Rice-style theorem for parallel automataHIRST, Tirza.Information and computation (Print). 2009, Vol 207, Num 1, pp 1-13, issn 0890-5401, 13 p.Article