Copertina

Nominal anti-unification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Baumgartner, Alexander, Kutsia, Temur, Levy, Jordi, Villaret, Mateu
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
di: Baumgartner, Alexander, et al.
Pubblicazione: (2025)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
di: Nantes-Sobrinho, Daniele, et al.
Pubblicazione: (2025)

Graded Quantitative Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

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

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

Equational Anti-Unification over Absorption Theories
di: Ayala-Rincon, Mauricio, et al.
Pubblicazione: (2023)

Algebraic anti-unification
di: Antić, Christian
Pubblicazione: (2024)

A unification of graded and substructural logics
di: Hanukaev, Peter, et al.
Pubblicazione: (2026)

Rule Formats for Nominal Process Calculi
di: Aceto, Luca, et al.
Pubblicazione: (2024)

FILO -- automated unification in $\mathcal{FL}_0$
di: Morawska, Barbara, et al.
Pubblicazione: (2025)

Nominal Type Theory by Nullary Internal Parametricity
di: Van Muylder, Antoine, et al.
Pubblicazione: (2025)

Strong Nominal Semantics for Fixed-Point Constraints
di: Caires-Santos, Ali K., et al.
Pubblicazione: (2024)

Nominal Equational Rewriting and Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
di: Fernández, Maribel, et al.
Pubblicazione: (2025)

A Note On Square-free Sequences and Anti-unification Type
di: Cerna, David M.
Pubblicazione: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
di: Dowek, Gilles, et al.
Pubblicazione: (2023)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
di: Cerna, David M., et al.
Pubblicazione: (2022)

Solving unification in the description logic $\mathcal{FL}_\bot$
di: Morawska, Barbara, et al.
Pubblicazione: (2024)

SAT, Gadgets, Max2XOR, and Quantum Annealers
di: Ansótegui, Carlos, et al.
Pubblicazione: (2024)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
di: Lenke, Fabian, et al.
Pubblicazione: (2026)

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
di: Dudenhefner, Andrej
Pubblicazione: (2022)

Dependently Sorted Nominal Signatures
di: Fernández, Maribel, et al.
Pubblicazione: (2025)

A Nominal Approach to Probabilistic Separation Logic
di: Li, John M., et al.
Pubblicazione: (2024)

Nominal Sets in Rocq
di: Paranhos, Fabrício Sanches, et al.
Pubblicazione: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Support is Search
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
di: Bowler, Nathan, et al.
Pubblicazione: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
di: Vandesande, Dieter, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

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

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Many-valued coalgebraic logic over semi-primal varieties
di: Kurz, Alexander, et al.
Pubblicazione: (2023)

Decidability of MSO Reparameterization over Countable Chains
di: Rabinovich, Alexander
Pubblicazione: (2026)

Backtrackable Inprocessing
di: Nadel, Alexander
Pubblicazione: (2026)

Non-negative Rational Semantic Numeration Systems
di: Chunikhin, Alexander
Pubblicazione: (2026)