Sage Journals: Discover world-class research

Retricted access

Research article

First published 2015-6

Universality and Almost Decidability

Cristian S. Calude, Damien Desfontaines

Fundamenta Informaticae

Retricted access

Research article

First published 2006-5

Decidability Analysis of Self-Stabilization for Infinite-State Systems

Hsu-Chun Yen, Lien-Po Yu

Fundamenta Informaticae

Free access

Research article

First published 2014-11

Decidability of Logic of Correlated Knowledge

Haroldas Giedra, Jūratė Sakalauskaitė, Romas Alonderis

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2010-11

Decidability Problems in Petri Nets with Names and Replication

Fernando Rosa-Velardo, David de Frutos-Escrig

Fundamenta Informaticae

Retricted access

Research article

First published 2022

Resource Bisimilarity in Petri Nets is Decidable

Irina A. Lomazova, Vladimir A. Bashkin, Petr Jančar

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Decidability Questions for Insertion Systems and Related Models

Andreas Malcher

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability

Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma

Fundamenta Informaticae

Retricted access

Research article

First published 2022-5

Personality Traits and Attachments Styles in Romantic Relationships Deciding

Cansu Tosun, Murat Yıldırım, Fatma Altun [...]

Journal of Family Issues

Retricted access

Research article

First published 1997-4

On the Decidability of Non-Interleaving Process Equivalences

Astrid Kiehn, Matthew Hennessy

Fundamenta Informaticae

Retricted access

Research article

First published 2007-11

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous

Vladimir V. Rybakov

Fundamenta Informaticae

Search results