Cover Image

Rank-decreasing transductions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bojańczyk, Mikołaj, Ohlmann, Pierre
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Trees in graphs of large linear cliquewidth
by: Bojańczyk, Mikołaj, et al.
Published: (2025)

The Finite Length Property of the Rado Graph and Friends
by: Yang, Jingjie, et al.
Published: (2026)

Function spaces for orbit-finite sets
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

Low rank MSO
by: Bojańczyk, Mikołaj, et al.
Published: (2025)

Positionality in $Σ_0^2$ and a completeness result
by: Ohlmann, Pierre, et al.
Published: (2023)

Characterising memory in infinite games
by: Casares, Antonio, et al.
Published: (2022)

On first-order transductions of classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)

A positional $\mathbfΠ^0_3$-complete objective
by: Casares, Antonio, et al.
Published: (2024)

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

Hardness of monadic second-order formulae over succinct graphs
by: Gamard, Guilhem, et al.
Published: (2023)

Efficient reversal of transductions of sparse graph classes
by: Dreier, Jan, et al.
Published: (2026)

Positional $ω$-regular languages
by: Casares, Antonio, et al.
Published: (2024)

The memory of $ω$-regular and BC($Σ_2^0$) objectives
by: Casares, Antonio, et al.
Published: (2025)

Flipper games for monadically stable graph classes
by: Gajarský, Jakub, et al.
Published: (2023)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

A Dichotomy Theorem for Ordinal Ranks in MSO
by: Niwiński, Damian, et al.
Published: (2025)

Efficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback
by: Sarita, Yasmin, et al.
Published: (2024)

The Size-Change Principle for Mixed Inductive and Coinductive types
by: Hyvernat, Pierre
Published: (2024)

The Qualitative Collapse of Concurrent Games
by: Clairambault, Pierre
Published: (2024)

A Relational Theory of Grounding and a new Grounder for SMT
by: Carbonnelle, Pierre
Published: (2026)

Ranked Enumeration for MSO on Trees via Knowledge Compilation
by: Amarilli, Antoine, et al.
Published: (2023)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
by: Clairambault, Pierre, et al.
Published: (2023)

Maths with Coq in L1, a pedagogical experiment
by: Kerjean, Marie, et al.
Published: (2025)

Drag Rewriting
by: Dershowitz, Nachum, et al.
Published: (2024)

Extensional Taylor Expansion
by: Blondeau-Patissier, Lison, et al.
Published: (2023)

Strategies as Resource Terms, and their Categorical Semantics
by: Blondeau-Patissier, Lison, et al.
Published: (2023)

Temporal Hyperproperties for Population Protocols
by: Waldburger, Nicolas, et al.
Published: (2024)

Learning to Rank the Initial Branching Order of SAT Solvers
by: Eriksson, Arvid, et al.
Published: (2026)

Teaching Divisibility and Binomials with Coq
by: Boldo, Sylvie, et al.
Published: (2024)

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

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)