Buchumschlag

Termination of Graph Transformation Systems via Generalized Weighted Type Graphs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Endrullis, Jörg, Overbeek, Roy
Format:	Preprint
Veröffentlicht:	2023
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

Termination of Graph Transformation Systems Using Weighted Subgraph Counting
von: Overbeek, Roy, et al.
Veröffentlicht: (2023)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
von: Endrullis, Jörg, et al.
Veröffentlicht: (2025)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

Correspondence between Composite Theories and Distributive Laws
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
von: König, Barbara, et al.
Veröffentlicht: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
von: Sierra-Aristizabal, Manuel
Veröffentlicht: (2023)

On Planarity of Graphs in Homotopy Type Theory
von: Prieto-Cubides, Jonathan, et al.
Veröffentlicht: (2021)

Formalising the Double-Pushout Approach to Graph Transformation
von: Söldner, Robert, et al.
Veröffentlicht: (2023)

Type-Based Termination for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2021)

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

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Transformers Can Learn Connectivity in Some Graphs but Not Others
von: Roy, Amit, et al.
Veröffentlicht: (2025)

Model Explanation via Support Graphs
von: Cabalar, Pedro, et al.
Veröffentlicht: (2023)

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

Decidability of Graph Neural Networks via Logical Characterizations
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
von: Acclavio, Matteo
Veröffentlicht: (2023)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
von: Baader, Franz, et al.
Veröffentlicht: (2024)

Hydra Battles and AC Termination
von: Hirokawa, Nao, et al.
Veröffentlicht: (2023)

Termination of Triangular Polynomial Loops
von: Hark, Marcel, et al.
Veröffentlicht: (2019)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2026)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

Deciding Termination of Simple Randomized Loops
von: Meyer, Éléanore, et al.
Veröffentlicht: (2025)

On Small Types in Univalent Foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2021)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

Primitive Recursive Dependent Type Theory
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Sound and Complete Proof Rules for Probabilistic Termination
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

Non-Termination of Logic Programs Using Patterns
von: Payet, Etienne
Veröffentlicht: (2025)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
von: Barkowsky, Matthias, et al.
Veröffentlicht: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2026)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
von: Kura, Satoshi, et al.
Veröffentlicht: (2024)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
von: Qu, Zhuoyuan
Veröffentlicht: (2025)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)