Journal: J. Comput. Syst. Sci.

Volume 81, Issue 2

359 -- 375Daowen Qiu, Lvzhou Li, Paulo Mateus, Amílcar Sernadas. Exponentially more concise quantum recognition of non-RMM regular languages
376 -- 382Xuechong Guan. Two Cartesian closed categories of information algebras
383 -- 397Alberto Lafuente, Mikel Larrea, Iratxe Soraluze Arriola, Roberto Cortiñas. Communication-optimal eventually perfect failure detection in partially synchronous systems
398 -- 414Minati De, Subhas C. Nandy, Sasanka Roy. Prune-and-search with limited workspace
415 -- 442Ilkka Törmä. A uniquely ergodic cellular automaton
443 -- 457Simone Bova, Hubie Chen. The complexity of equivalence, entailment, and minimization in existential positive logic
458 -- 467Rafael Trapani Possignolo, Cintia Borges Margi, Paulo S. L. M. Barreto. Quantum-assisted QD-CFS signatures
468 -- 472Juha Honkala. Products of matrices and recursively enumerable sets
473 -- 484Petr Sosík, Ludek Cienciala. A limitation of cell division in tissue P systems by PSPACE