Buchumschlag

Unfoldings and coverings of weighted graphs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Courcelle, Bruno
Format:	Preprint
Veröffentlicht:	2022
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

On describing trees and quasi-trees from their leaves
von: Courcelle, Bruno
Veröffentlicht: (2025)

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

Causal Unfoldings and Disjunctive Causes
von: de Visme, Marc, et al.
Veröffentlicht: (2020)

Methods for Efficient Unfolding of Colored Petri Nets
von: Bilgram, Alexander, et al.
Veröffentlicht: (2022)

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

Decomposing graphs into stable and ordered parts
von: Buffière, Hector, et al.
Veröffentlicht: (2025)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
von: Chirica, Ion, et al.
Veröffentlicht: (2025)

Reflexive graph lenses in univalent foundations
von: Sterling, Jonathan
Veröffentlicht: (2024)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)

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

Epsilon-saturation for stable graphs and Littlestone classes
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2025)

Trees in graphs of large linear cliquewidth
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2025)

Extension preservation on dense graph classes
von: Eleftheriadis, Ioannis
Veröffentlicht: (2024)

Adhesive category theory for graph rewriting in Rocq
von: Arsac, Samuel, et al.
Veröffentlicht: (2025)

Model checking with temporal graphs and their derivative
von: Bui-Xuan, Binh-Minh, et al.
Veröffentlicht: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Tree algebras and bisimulation-invariant MSO on finite graphs
von: Colcombet, Thomas, et al.
Veröffentlicht: (2024)

A finite presentation of graphs of treewidth at most three
von: Doumane, Amina, et al.
Veröffentlicht: (2024)

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

Classifying covering types in homotopy type theory
von: Mimram, Samuel, et al.
Veröffentlicht: (2025)

Order-invariant cluster first-order logic on graph classes of bounded degree
von: Ghasemi, Fatemeh, et al.
Veröffentlicht: (2026)

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

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
von: Brunar, Johanna, et al.
Veröffentlicht: (2025)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
von: Li, Shuo, et al.
Veröffentlicht: (2023)

Foundational propositions of hesitant fuzzy soft $β$-covering approximation spaces
von: Lu, Shizhan
Veröffentlicht: (2024)

Hardness of monadic second-order formulae over succinct graphs
von: Gamard, Guilhem, et al.
Veröffentlicht: (2023)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
von: Kihara, Takayuki
Veröffentlicht: (2022)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
von: Oda, Yukihiro, et al.
Veröffentlicht: (2022)

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

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)