


default search action
Theoretical Computer Science, Volume 843
Volume 843, December 2020
- Lila Kari:
Editorial. iii - Kévin Perrot, Éric Rémila:
On the emergence of regularities on one-dimensional decreasing sandpiles. 1-24 - Florian Bridoux, Maximilien Gadouleau, Guillaume Theyssier:
Expansive automata networks. 25-44 - Alberto Dennunzio, Enrico Formenti
, Darij Grinberg, Luciano Margara
:
Dynamical behavior of additive cellular automata over finite abelian groups. 45-56 - Chao Bian, Chao Qian, Ke Tang, Yang Yu:
Running time analysis of the (1+1)-EA for robust linear optimization. 57-72 - Yuzhen Zhao, Xiyu Liu, Minghe Sun, Jianhua Qu, Yuanjie Zheng:
Time-free cell-like P systems with multiple promoters/inhibitors. 73-83 - Robert F. Johnson
, Erik Winfree
:
Verifying polymer reaction networks using bisimulation. 84-114 - Thiago Alves Rocha
, Ana Teresa C. Martins, Francicleber Martins Ferreira:
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT. 115-135 - Marcos Eduardo Valle
, Rodolfo Anibal Lobo
:
Quaternion-valued recurrent projection neural networks on unit quaternions. 136-152 - Sergey Verlan
, Henning Fernau
, Lakshmanan Kuppusamy:
Universal insertion grammars of size two. 153-163

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.