Copertina

Unification of Deterministic Higher-Order Patterns (Full Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Niederhauser, Johannes, Middeldorp, Aart
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
di: Schöpf, Jonas, et al.
Pubblicazione: (2023)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2024)

Automated Analysis of Logically Constrained Rewrite Systems using crest
di: Schöpf, Jonas, et al.
Pubblicazione: (2025)

Hydra Battles and AC Termination
di: Hirokawa, Nao, et al.
Pubblicazione: (2023)

Confluence of Logically Constrained Rewrite Systems Revisited
di: Schöpf, Jonas, et al.
Pubblicazione: (2024)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
di: Chen, Zhibo, et al.
Pubblicazione: (2023)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
di: Paulus, Joseph W. N., et al.
Pubblicazione: (2021)

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
di: Nishida, Naoki, et al.
Pubblicazione: (2025)

Superposition with Delayed Unification
di: Bhayat, Ahmed, et al.
Pubblicazione: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
di: Dundua, Besik, et al.
Pubblicazione: (2025)

Proof Nets for PiL (Full Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2026)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Schematic Unification
di: Cerna, David M.
Pubblicazione: (2023)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

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

A Hoare Logic for Domain Specification (Full Version)
di: Kamburjan, Eduard, et al.
Pubblicazione: (2024)

Regular Typed Unification
di: Barbosa, João, et al.
Pubblicazione: (2024)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
di: Heim, Philippe, et al.
Pubblicazione: (2026)

Localized Attractor Computations for Infinite-State Games (Full Version)
di: Schmuck, Anne-Kathrin, et al.
Pubblicazione: (2024)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2026)

Unification in Matching Logic -- Revisited
di: Kurucz, Ádám, et al.
Pubblicazione: (2024)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
di: Aoto, Takahito, et al.
Pubblicazione: (2026)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
di: Aoto, Takahito, et al.
Pubblicazione: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

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

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

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

First-Order LTLf Synthesis with Lookback (Extended Version)
di: Winkler, Sarah
Pubblicazione: (2025)

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
di: Dudenhefner, Andrej
Pubblicazione: (2026)

Handling the Selection Monad (Full Version)
di: Plotkin, Gordon, et al.
Pubblicazione: (2025)

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

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

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
di: Heim, Philippe, et al.
Pubblicazione: (2024)

On a Second-Order Version of Russellian Theory of Definite Descriptions
di: Petrukhin, Yaroslav
Pubblicazione: (2025)

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

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

On Problems Dual to Unification: The String-Rewriting Case
di: Akçam, Zümrüt, et al.
Pubblicazione: (2021)

Higher-Order Constrained Dependency Pairs for (Universal) Computability
di: Guo, Liye, et al.
Pubblicazione: (2024)