![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 180
Volume 180, Numbers 1-2, 2021
- Jorma Hirvensalo, Frantisek Mráz, Daniel Prusa:
Preface. - Henning Fernau, Martin Kutrib
, Matthias Wendlandt:
Self-Verifying Pushdown and Queue Automata. 1-28 - Markus Holzer, Martin Kutrib
, Friedrich Otto:
Two-Sided Strictly Locally Testable Languages. 29-51 - Andreas Malcher:
Decidability Questions for Insertion Systems and Related Models. 53-76 - Friedrich Otto:
A Complete Taxonomy of Restarting Automata without Auxiliary Symbols. 77-101 - Giovanni Pighizzini, Luca Prigioniero
:
Non-Self-Embedding Grammars and Descriptional Complexity. 103-122 - Bianca Truthe:
Generative Capacity of Contextual Grammars with Subregular Selection Languages. 123-150 - Qichao Wang:
Languages Accepted by Weighted Restarting Automata. 151-177
Volume 180, Number 3, 2021
- Roberto Gorrieri
:
Causal Semantics for BPP Nets with Silent Moves. 179-249 - Paolo Massazza:
A Dynamical System Approach to Polyominoes Generation. 251-273 - Ali Gholami Rudi:
Place the Vertices Anywhere on the Curve and Simplify. 275-287
Volume 180, Number 4, 2021
- Michal Skrzypczak, Piotr Hofman
:
Preface. - Costanza Catalano
, Umer Azfar, Ludovic Charlier, Raphaël M. Jungers:
A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices. 289-314 - Egor Dobronravov, Nikita Dobronravov, Alexander Okhotin:
On the Length of Shortest Strings Accepted by Two-way Finite Automata. 315-331 - Paul Gastin
, Amaldev Manuel, R. Govind:
Reversible Regular Languages: Logical and Algebraic Characterisations. 333-350 - Denis Kuperberg, Laureline Pinault, Damien Pous:
Coinductive Algorithms for Büchi Automata. 351-373 - Aleksi Saarela:
Separating the Words of a Language by Counting Factors. 375-393
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.