:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Colcombet, Thomas, Sreejith, A V
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2505.01039
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tree algebras and bisimulation-invariant MSO on finite graphs
by: Colcombet, Thomas, et al.
Published: (2024)

Modulo quantifiers over functional vocabularies extending addition
by: Baskar, A., et al.
Published: (2017)

Expregular functions
by: Colcombet, Thomas, et al.
Published: (2026)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
by: Bertrand, Nathalie, et al.
Published: (2020)

Decidability for Sturmian words
by: Hieronymi, Philipp, et al.
Published: (2021)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
by: Casares, Antonio, et al.
Published: (2023)

An algebra modality admitting countably many deriving transformations
by: Vienney, Jean-Baptiste
Published: (2025)

Regular Games with Imperfect Information Are Not That Regular
by: Doyen, Laurent, et al.
Published: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Synthesis for prefix first-order logic on data words
by: Grange, Julien, et al.
Published: (2024)

When Darwin met Ianus: dichotomies of expressivity
by: Brunar, Johanna, et al.
Published: (2025)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Automata on $S$-adic words
by: Berthé, Valérie, et al.
Published: (2025)

Regular Typed Unification
by: Barbosa, João, et al.
Published: (2024)

Computational expressivity of (circular) proofs with fixed points
by: Curzi, Gianluca, et al.
Published: (2023)

$ω$-Regular Energy Problems
by: Dziadek, Sven, et al.
Published: (2022)

Learning Deterministic One-Counter Automata in Polynomial Time
by: Mathew, Prince, et al.
Published: (2025)

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

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

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

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

Complete $ω$-Regular Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Linear Realisability over nets: multiplicatives (long version)
by: Ragot, Adrien, et al.
Published: (2024)

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

A Hierarchy of Supermartingales for $ω$-Regular Verification
by: Kura, Satoshi, et al.
Published: (2025)

The Power of Regular Constraint Propagation (Technical Report)
by: Hague, Matthew, et al.
Published: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
by: Niwiński, Damian, et al.
Published: (2023)

On the Computational Content of Moduli of Regularity and their Logical Strength
by: Kohlenbach, Ulrich
Published: (2026)

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)

On two-variable guarded fragment logic with expressive local Presburger constraints
by: Lu, Chia-Hsuan, et al.
Published: (2022)

An extended type system with lambda-typed lambda-expressions (extended version)
by: Weber, Matthias
Published: (2018)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

Many-valued coalgebraic logic over semi-primal varieties
by: Kurz, Alexander, et al.
Published: (2023)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
by: Różowski, Wojciech
Published: (2024)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)