Cover Image

One is all you need: Second-order Unification without First-order Variables

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cerna, David M., Parsert, Julian
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Linear Programming in Isabelle/HOL
by: Parsert, Julian
Published: (2024)

Schematic Unification
by: Cerna, David M.
Published: (2023)

Discernment is all you need
by: Fuenmayor, David
Published: (2026)

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

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

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

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

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

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

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

Fusions of One-Variable First-Order Modal Logics
by: Kontchakov, Roman, et al.
Published: (2026)

First order complexity of finite random structures
by: Demin, Danila, et al.
Published: (2024)

First-order store and visibility in name-passing calculi
by: Hirschkoff, Daniel, et al.
Published: (2025)

Positive First-order Logic on Words and Graphs
by: Kuperberg, Denis
Published: (2022)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Regular Typed Unification
by: Barbosa, João, et al.
Published: (2024)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

The Complexity of Second-order HyperLTL
by: Frenkel, Hadar, et al.
Published: (2023)

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

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
by: Figueira, Diego, et al.
Published: (2025)

An order out of nowhere: a new algorithm for infinite-domain CSPs
by: Mottet, Antoine, et al.
Published: (2023)

First order distinguishability of sparse random graphs
by: Hershko, Tal, et al.
Published: (2024)

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

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

On first-order transductions of classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)

Unification of Deterministic Higher-Order Patterns (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2026)

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

First-order transducibility among classes of sparse graphs
by: Gajarský, Jakub, et al.
Published: (2025)

First-order logic axiomatization of metric graph theory
by: Chalopin, Jérémie, et al.
Published: (2022)

Higher order differential calculus in mathlib
by: Gouëzel, Sébastien
Published: (2025)

Balanced residuated partially ordered semigroups
by: Bonzio, Stefano, et al.
Published: (2025)