default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 181

> Home > Journals > Fundamenta Informaticae

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 181, Number 1, 2021

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CasagrandeOP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CasagrandeOP21
Alberto Casagrande, Eugenio G. Omodeo, Maurizio Proietti:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/HillstonMPR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/HillstonMPR21
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi:
Persistent Stochastic Non-Interference. 1-35
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CantoneDMO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CantoneDMO21
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
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CostantiniF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CostantiniF21
Stefania Costantini, Andrea Formisano:
Adding Metalogic Features to Knowledge Representation Languages. 71-98

Volume 181, Numbers 2-3, 2021

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Durand-LoseKV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Durand-LoseKV21
Jérôme Durand-Lose, Jarkko Kari, Sergey Verlan:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GeffertB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GeffertB21
Viliam Geffert, Zuzana Bednárová:
Minimal Size of Counters for (Real-Time) Multicounter Automata. 99-127
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Whyman21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Whyman21
Richard Whyman:
Physical Computational Complexity and First-order Logic. 129-161
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PerrotPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PerrotPS21
Kévin Perrot, Pacôme Perrotin, Sylvain Sené:
On Boolean Automata Networks (de)Composition. 163-188
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FernauKOR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FernauKOR21
Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele, Indhumathi Raman:
Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars. 189-211
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/NagyV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/NagyV21
Benedek Nagy, Sándor Vályi:
Circular Interval-valued Computers and Simulation of (Red-green) Turing Machines. 213-238
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AlhazovFIO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AlhazovFIO21
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald:
Relations between Control Mechanisms for Sequential Grammars. 239-271

Volume 181, Number 4, 2021

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Aalst21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Aalst21
Wil M. P. van der Aalst:
Free-choice Nets with Home Clusters are Lucent. 273-302
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Drylo21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Drylo21
Robert Drylo:
Compression on the Twisted Jacobi Intersection. 303-312
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PerezR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PerezR21
Claudia Pérez, Daniel Rivera:
Polynomial-time Classification of Skew-symmetrizable Matrices with a Positive Definite Quasi-Cartan Companion. 313-337
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Zhang21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Zhang21
Kuize Zhang:
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems. 339-371

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.