![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 181
Volume 181, Number 1, 2021
- Alberto Casagrande, Eugenio G. Omodeo, Maurizio Proietti:
Preface. - Jane Hillston, Andrea Marin, Carla Piazza
, Sabina Rossi:
Persistent Stochastic Non-Interference. 1-35 - Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo:
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case. 37-69 - Stefania Costantini, Andrea Formisano:
Adding Metalogic Features to Knowledge Representation Languages. 71-98
Volume 181, Numbers 2-3, 2021
- Jérôme Durand-Lose, Jarkko Kari, Sergey Verlan
:
Preface. - Viliam Geffert, Zuzana Bednárová:
Minimal Size of Counters for (Real-Time) Multicounter Automata. 99-127 - Richard Whyman:
Physical Computational Complexity and First-order Logic. 129-161 - Kévin Perrot, Pacôme Perrotin, Sylvain Sené:
On Boolean Automata Networks (de)Composition. 163-188 - Henning Fernau
, Lakshmanan Kuppusamy, Rufus O. Oladele, Indhumathi Raman:
Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars. 189-211 - Benedek Nagy, Sándor Vályi:
Circular Interval-valued Computers and Simulation of (Red-green) Turing Machines. 213-238 - Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald:
Relations between Control Mechanisms for Sequential Grammars. 239-271
Volume 181, Number 4, 2021
- Wil M. P. van der Aalst
:
Free-choice Nets with Home Clusters are Lucent. 273-302 - Robert Drylo:
Compression on the Twisted Jacobi Intersection. 303-312 - Claudia Pérez, Daniel Rivera:
Polynomial-time Classification of Skew-symmetrizable Matrices with a Positive Definite Quasi-Cartan Companion. 313-337 - Kuize Zhang:
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems. 339-371
![](https://dblp.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.