default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 181

> Home > Journals > Fundamenta Informaticae

SPARQL queries

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.