Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by T. Hardin
Higher-Order Unification via Explicit Substitutions
Related publications
Ramified Higher-Order Unification
Linear Unification of Higher-Order Patterns
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Unification Revisited: Complete Sets of Transformations
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Higher-Order Pattern Anti-Unification in Linear Time
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Partial Polymorphic Type Inference and Higher-Order Unification
Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cut Rules and Explicit Substitutions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
A Higher-Order Closure Model With an Explicit PBL Top
Journals of the Atmospheric Sciences
Atmospheric Science
Reductions, Intersection Types, and Explicit Substitutions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
