Buchumschlag

On describing trees and quasi-trees from their leaves

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Courcelle, Bruno
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Unfoldings and coverings of weighted graphs
von: Courcelle, Bruno
Veröffentlicht: (2022)

On first-order definable operations on relational structures
von: Courcelle, Bruno
Veröffentlicht: (2026)

Infinite trees
von: Goy, Alexandre
Veröffentlicht: (2025)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Snakes can be fooled into thinking they live in a tree
von: Bartholdi, Laurent, et al.
Veröffentlicht: (2024)

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

CMSO-transducing tree-like graph decompositions
von: Campbell, Rutger, et al.
Veröffentlicht: (2024)

Contractions of quasi relation algebras and applications to representability
von: Craig, Andrew, et al.
Veröffentlicht: (2026)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2024)

A topological counterpart of well-founded trees in dependent type theory
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Many-valued coalgebraic logic over semi-primal varieties
von: Kurz, Alexander, et al.
Veröffentlicht: (2023)

The structure of polynomial growth for tree automata/transducers and MSO set queries
von: Gallot, Paul, et al.
Veröffentlicht: (2025)

On classes of bounded tree rank, their interpretations, and efficient sparsification
von: Gajarský, Jakub, et al.
Veröffentlicht: (2024)

Stateful Realizers for Nonstandard Analysis
von: Dinis, Bruno, et al.
Veröffentlicht: (2022)

Le chameau et le serpent rentrent dans un bar : vérification quasi-automatique de code OCaml en logique de séparation
von: Gros, Charlène, et al.
Veröffentlicht: (2024)

An independence of the MIN principle from the PHP principle
von: Narusevych, Mykyta
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
von: Ma, Zhifeng, et al.
Veröffentlicht: (2024)

Profinite trees, through Lawvere theories and the lambda-calculus
von: Moreau, Vincent
Veröffentlicht: (2024)

The Transparent Relations Ontology (TRO): a vocabulary to describe conflicts of interest
von: Aranguren, Mikel Egaña
Veröffentlicht: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

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

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Shininess, strong politeness, and unicorns
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Proofs that Modify Proofs, 1/2
von: Towsner, Henry
Veröffentlicht: (2025)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Simple Classes of Automatic Structures
von: Blumensath, Achim
Veröffentlicht: (2025)

Constructive Ordinal Exponentiation
von: de Jong, Tom, et al.
Veröffentlicht: (2025)