


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














