Ramified Higher-Order Unification

doi 10.1109/lics.1997.614966
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

Higher-Order Unification via Explicit Substitutions

English

Linear Unification of Higher-Order Patterns

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Higher-Order Unification Revisited: Complete Sets of Transformations

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1989English

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

Ramified Analysis and the Minimal Β-Models of Higher Order Arithmetics

Fundamenta Mathematicae
Number TheoryAlgebra
1984English

Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Quark Lepton Unification in Higher Dimensions

Physical Review D
2012English

Simplifying the Signature in Second-Order Unification

Applicable Algebra in Engineering, Communications and Computing
Applied MathematicsNumber TheoryAlgebra
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy