no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A limitation of cell division in tissue P systems by PSPACE
|
Sosík, Petr |
|
2015 |
81 |
2 |
p. 473-484 12 p. |
article |
2 |
A uniquely ergodic cellular automaton
|
Törmä, Ilkka |
|
2015 |
81 |
2 |
p. 415-442 28 p. |
article |
3 |
Communication-optimal eventually perfect failure detection in partially synchronous systems
|
Lafuente, Alberto |
|
2015 |
81 |
2 |
p. 383-397 15 p. |
article |
4 |
Editorial Board
|
|
|
2015 |
81 |
2 |
p. IFC- 1 p. |
article |
5 |
Exponentially more concise quantum recognition of non-RMM regular languages
|
Qiu, Daowen |
|
2015 |
81 |
2 |
p. 359-375 17 p. |
article |
6 |
Products of matrices and recursively enumerable sets
|
Honkala, Juha |
|
2015 |
81 |
2 |
p. 468-472 5 p. |
article |
7 |
Prune-and-search with limited workspace
|
De, Minati |
|
2015 |
81 |
2 |
p. 398-414 17 p. |
article |
8 |
Quantum-assisted QD-CFS signatures
|
Possignolo, Rafael Trapani |
|
2015 |
81 |
2 |
p. 458-467 10 p. |
article |
9 |
The complexity of equivalence, entailment, and minimization in existential positive logic
|
Bova, Simone |
|
2015 |
81 |
2 |
p. 443-457 15 p. |
article |
10 |
Two Cartesian closed categories of information algebras
|
Guan, Xuechong |
|
2015 |
81 |
2 |
p. 376-382 7 p. |
article |