Higher-Order Pattern Anti-Unification in Linear Time

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-016-9383-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Linear Unification of Higher-Order Patterns

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Ramified Higher-Order Unification

English

Higher-Order Unification via Explicit Substitutions

English

Higher-Order Unification Revisited: Complete Sets of Transformations

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1989English

Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Partial Polymorphic Type Inference and Higher-Order Unification

1988English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Pseudoprimes for Higher-Order Linear Recurrence Sequences

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1990English

Linear Interpolation for the Higher-Order Matching Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy