Higher-Order Unification Revisited: Complete Sets of Transformations

Journal of Symbolic Computation - United States
doi 10.1016/s0747-7171(89)80023-9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Ramified Higher-Order Unification

English

Linear Unification of Higher-Order Patterns

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Higher-Order Unification via Explicit Substitutions

English

Higher-Order Pattern Anti-Unification in Linear Time

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

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

Using Meta-Code Generation to Realize Higher-Order Model Transformations

2013English

Learning Class-Specific Image Transformations With Higher-Order Boltzmann Machines

2010English

Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention Revisited

Machine Learning
Artificial IntelligenceSoftware
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy