A Unification Algorithm for Second-Order Linear Terms

2023/09/05 by Gilles Dowek, Dowek, Gilles
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Polynomial and algebraic computation

paper · pdf · doi:10.48550/arxiv.2309.02024

openalex publication_date 2023/09/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.

Related

• One is all you need: Second-order Unification without First-order Variables
• Algorithms for 2-Solvable Difference Equations
• A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
• Solving Third Order Linear Difference Equations in Terms of Second Order Equations
• Integrating factors for second order ODEs