:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Colcombet, Thomas, Sreejith, A V
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2505.01039
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Tree algebras and bisimulation-invariant MSO on finite graphs
par: Colcombet, Thomas, et autres
Publié: (2024)

Modulo quantifiers over functional vocabularies extending addition
par: Baskar, A., et autres
Publié: (2017)

Expregular functions
par: Colcombet, Thomas, et autres
Publié: (2026)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
par: Bertrand, Nathalie, et autres
Publié: (2020)

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
par: Casares, Antonio, et autres
Publié: (2023)

An algebra modality admitting countably many deriving transformations
par: Vienney, Jean-Baptiste
Publié: (2025)

Regular Games with Imperfect Information Are Not That Regular
par: Doyen, Laurent, et autres
Publié: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Synthesis for prefix first-order logic on data words
par: Grange, Julien, et autres
Publié: (2024)

When Darwin met Ianus: dichotomies of expressivity
par: Brunar, Johanna, et autres
Publié: (2025)

Effective bases and notions of effective second countability in computable analysis
par: Brattka, Vasco, et autres
Publié: (2025)

On matrix rank function over bounded arithmetics
par: Ken, Eitetsu, et autres
Publié: (2023)

Automata on $S$-adic words
par: Berthé, Valérie, et autres
Publié: (2025)

Regular Typed Unification
par: Barbosa, João, et autres
Publié: (2024)

Computational expressivity of (circular) proofs with fixed points
par: Curzi, Gianluca, et autres
Publié: (2023)

$ω$-Regular Energy Problems
par: Dziadek, Sven, et autres
Publié: (2022)

Learning Deterministic One-Counter Automata in Polynomial Time
par: Mathew, Prince, et autres
Publié: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
par: Gaßner, Christine
Publié: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

Complete $ω$-Regular Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2026)

Linear Realisability over nets: multiplicatives (long version)
par: Ragot, Adrien, et autres
Publié: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
par: Powell, Thomas
Publié: (2023)

A Hierarchy of Supermartingales for $ω$-Regular Verification
par: Kura, Satoshi, et autres
Publié: (2025)

The Power of Regular Constraint Propagation (Technical Report)
par: Hague, Matthew, et autres
Publié: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
par: Niwiński, Damian, et autres
Publié: (2023)

On the Computational Content of Moduli of Regularity and their Logical Strength
par: Kohlenbach, Ulrich
Publié: (2026)

Aczel-Mendler Bisimulations in a Regular Category
par: Dubut, Jeremy
Publié: (2023)

On two-variable guarded fragment logic with expressive local Presburger constraints
par: Lu, Chia-Hsuan, et autres
Publié: (2022)

An extended type system with lambda-typed lambda-expressions (extended version)
par: Weber, Matthias
Publié: (2018)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Support is Search
par: Gheorghiu, Alexander V.
Publié: (2026)

Many-valued coalgebraic logic over semi-primal varieties
par: Kurz, Alexander, et autres
Publié: (2023)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Existential and positive games: a comonadic and axiomatic view
par: Abramsky, Samson, et autres
Publié: (2025)

Consistent Update Synthesis via Privatized Beliefs
par: Schlögl, Thomas, et autres
Publié: (2024)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
par: Różowski, Wojciech
Publié: (2024)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)