Buchumschlag

Graded Quantitative Narrowing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ayala-Rincón, Mauricio, de Lima, Thaynara Arielly, Ehling, Georg, Kutsia, Temur
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

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
von: de Lima, Thaynara Arielly, et al.
Veröffentlicht: (2024)

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
von: Baumgartner, Alexander, et al.
Veröffentlicht: (2025)

Equational Anti-Unification over Absorption Theories
von: Ayala-Rincon, Mauricio, et al.
Veröffentlicht: (2023)

Nominal anti-unification
von: Baumgartner, Alexander, et al.
Veröffentlicht: (2025)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
von: Nantes-Sobrinho, Daniele, et al.
Veröffentlicht: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

Nominal Equational Rewriting and Narrowing
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
von: Kutsia, Temur, et al.
Veröffentlicht: (2024)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
von: Fernández, Maribel, et al.
Veröffentlicht: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

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

Graded Courrent PDL
von: Lin, Chun-Yu
Veröffentlicht: (2025)

Graded Monads and Behavioural Equivalence Games
von: Ford, Chase, et al.
Veröffentlicht: (2022)

Quantitative and Approximate Monitoring
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2021)

A Rocq Formalization of Monomial and Graded Orders
von: Boldo, Sylvie, et al.
Veröffentlicht: (2025)

Unifying Graded Linear Logic and Differential Operators
von: Breuvart, Flavien, et al.
Veröffentlicht: (2024)

Sum and Tensor of Quantitative Effects
von: Bacci, Giorgio, et al.
Veröffentlicht: (2022)

Tools at the Frontiers of Quantitative Verification
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Quantitative Types for the Functional Machine Calculus
von: Heijltjes, Willem
Veröffentlicht: (2025)

Compact Quantitative Theories of Convex Algebras
von: Mio, Matteo
Veröffentlicht: (2025)

A Dynamic Deontic Simplicial Logic for Joint Commitments
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2026)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
von: Różowski, Wojciech
Veröffentlicht: (2024)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
von: Mio, Matteo, et al.
Veröffentlicht: (2023)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Graded Distributed Belief
von: Lorini, Emiliano, et al.
Veröffentlicht: (2025)

To Zip Through the Cost Analysis of Probabilistic Programs
von: Hetzenberger, Matthias, et al.
Veröffentlicht: (2025)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
von: Santo, José Espírito, et al.
Veröffentlicht: (2022)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
von: Dewes, Rafael, et al.
Veröffentlicht: (2024)

Quantitative Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

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

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
von: de Groot, Jim, et al.
Veröffentlicht: (2021)

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

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

Graded String Diagrams for Imprecise Probability and Causal Intervention
von: Sarkis, Ralph, et al.
Veröffentlicht: (2025)

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
von: Lemke, Caroline, et al.
Veröffentlicht: (2025)