Imagen de Portada

Regular expressions over countable words

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Colcombet, Thomas, Sreejith, A V
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Expregular functions
por: Colcombet, Thomas, et al.
Publicado: (2026)

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

Decidability for Sturmian words
por: Hieronymi, Philipp, et al.
Publicado: (2021)

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

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

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

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

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

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

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

Regular Typed Unification
por: Barbosa, João, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

Aczel-Mendler Bisimulations in a Regular Category
por: Dubut, Jeremy
Publicado: (2023)

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

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

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

Support is Search
por: Gheorghiu, Alexander V.
Publicado: (2026)

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

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

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

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

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

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

Modular Counting over 3-Element and Conservative Domains
por: Bulatov, Andrei A., et al.
Publicado: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
por: Bílková, Marta, et al.
Publicado: (2025)

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