Copertina

The complexity of being monitorable

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Camerlo, Riccardo, Dagnino, Francesco
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic Logic in Computer Science 03B70, 03E15, 68Q60
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Refutability as Recursive as Provability
di: Cattabriga, Paola
Pubblicazione: (2024)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
di: Jaber, Guilhem, et al.
Pubblicazione: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
di: van der Meyden, Ron
Pubblicazione: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
di: Prunescu, Mihai, et al.
Pubblicazione: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Preservation theorems on sparse classes revisited
di: Dawar, Anuj, et al.
Pubblicazione: (2024)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
di: Koshkin, Sergiy
Pubblicazione: (2024)

Matching logic -- a new axiomatization
di: Leuştean, Laurenţiu, et al.
Pubblicazione: (2025)

Notes on applicative matching logic
di: Leuştean, Laurenţiu
Pubblicazione: (2025)

Uniformity in learning structures
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

Classifying different criteria for learning algebraic structures
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2024)

Learning Equivalence Relations on Polish Spaces
di: Rossegger, Dino, et al.
Pubblicazione: (2024)

On the learning power of Friedman-Stanley jumps
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

Normalization properties of $λμ$-calculus using realizability semantics
di: Battyanyi, Peter, et al.
Pubblicazione: (2023)

Finitely Bounded Homogeneity Turned Inside-Out
di: Rydval, Jakub
Pubblicazione: (2021)

Cardinality in a paraconsistent and paracomplete set theory
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)

The complexity of bisimilarity on pointmass processes
di: Moroni, Martín Santiago, et al.
Pubblicazione: (2026)

Baire reductions and good Borel reducibilities
di: Ros, Luca Motto
Pubblicazione: (2010)

Structural results on idealistic equivalence relations
di: Calderoni, Filippo, et al.
Pubblicazione: (2025)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

Behavioural Conformances based on Lax Couplings
di: Wild, Paul, et al.
Pubblicazione: (2025)

Choiceless Polynomial Space
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

Partial Tower Sealing
di: Sargsyan, Grigor, et al.
Pubblicazione: (2025)

A proof-theoretical approach to some extensions of first order quantification
di: Allègre, Loïc, et al.
Pubblicazione: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
di: Japaridze, Giorgi
Pubblicazione: (2026)

Computational Complexity of Model-Checking Quantum Pushdown Systems
di: Lin, Deren, et al.
Pubblicazione: (2025)

Hyperfiniteness on Topological Ramsey Spaces
di: Bursics, Balázs, et al.
Pubblicazione: (2024)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
di: Sorg, Christopher
Pubblicazione: (2026)

Constraint satisfaction problems, compactness and non-measurable sets
di: Tardif, Claude
Pubblicazione: (2025)

Martin's measurable dilator
di: Jeon, Hanul
Pubblicazione: (2025)

The Golden Path to Guarded Monotone Strict NP
di: Barsukov, Alexey, et al.
Pubblicazione: (2023)

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

Scott sentence complexities of linear orderings
di: Gonzalez, David, et al.
Pubblicazione: (2023)

Kripke-like models of Set Theory in Modal Residuated Logic
di: Moncayo, Jose, et al.
Pubblicazione: (2024)

NF is Consistent
di: Holmes, M. Randall, et al.
Pubblicazione: (2015)

Inclusion with repetitions and Boolean constants -- implication problems revisited
di: Häggblom, Matilda
Pubblicazione: (2025)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)