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
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.