Cover Image

Unifying Semantic Path Order and Weighted Path Order

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Saito, Teppei, Hirokawa, Nao
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hydra Battles and AC Termination
by: Hirokawa, Nao, et al.
Published: (2023)

Compositional Confluence Criteria
by: Shintani, Kiraku, et al.
Published: (2023)

Left-Linear Completion with AC Axioms
by: Niederhauser, Johannes, et al.
Published: (2024)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2025)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

Big Steps in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2025)

Unravelling Cyclic First-Order Arithmetic
by: Leigh, Graham E., et al.
Published: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
by: Charalambidis, Angelos, et al.
Published: (2026)

Coalgebraic Path Constraints
by: Schmid, Todd
Published: (2026)

Provenance Analysis and Semiring Semantics for First-Order Logic
by: Grädel, Erich, et al.
Published: (2024)

Monadic Second-Order Logic of Permutations
by: Jelínek, Vít, et al.
Published: (2025)

Doctrinal Semantics of Directed First-Order Logic
by: Laretto, Andrea, et al.
Published: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
by: Figueira, Diego, et al.
Published: (2022)

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
by: Goncharov, Sergey, et al.
Published: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Logic of Fuzzy Paths
by: Grover, Kush, et al.
Published: (2026)

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

Geometric Formalization of First-Order Stochastic Dominance in $N$ Dimensions: A Tractable Path to Multi-Dimensional Economic Decision Analysis
by: Li, Jingyuan
Published: (2025)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
by: Tóth, Jan, et al.
Published: (2024)

Distributed First Order Logic
by: Ghidini, Chiara, et al.
Published: (2015)

Interpolation in First-Order Logic
by: Cate, Balder ten, et al.
Published: (2025)

Properties for Paths in Graph Databases
by: Orejas, Fernando, et al.
Published: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Computational Paths Form a Weak ω-Groupoid
by: Ramos, Arthur F., et al.
Published: (2025)

SAT-Inspired Higher-Order Eliminations
by: Blanchette, Jasmin, et al.
Published: (2022)

Hammering Higher Order Set Theory
by: Brown, Chad E., et al.
Published: (2025)

Revisiting Stateful Partial-Order Reduction
by: Herbreteau, Frédéric, et al.
Published: (2024)

Interpolation with Automated First-Order Reasoning
by: Wernhard, Christoph
Published: (2025)

Kuroda's Translation for Higher-Order Logic
by: Traversié, Thomas
Published: (2024)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
by: Leisegang, Nicholas, et al.
Published: (2025)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

The Complexity of Fragments of Second-Order HyperLTL
by: Regaud, Gaëtan, et al.
Published: (2025)

A Rocq Formalization of Monomial and Graded Orders
by: Boldo, Sylvie, et al.
Published: (2025)

Syntactic Effectful Realizability in Higher-Order Logic
by: Cohen, Liron, et al.
Published: (2025)

SAT Solving for Variants of First-Order Subsumption
by: Coutelier, Robin, et al.
Published: (2024)

Craig Interpolation for Decidable First-Order Fragments
by: Cate, Balder ten, et al.
Published: (2023)