Linear Unification of Higher-Order Patterns

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-56610-4_78
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Higher-Order Pattern Anti-Unification in Linear Time

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

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

Partial Polymorphic Type Inference and Higher-Order Unification

1988English

Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

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

Oscillation of Higher-Order Quasi-Linear Neutral Differential Equations

Advances in Difference Equations
Applied MathematicsNumber TheoryAnalysisAlgebra
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy