Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. Goubault-Larrecq
Ramified Higher-Order Unification
Related publications
Higher-Order Unification via Explicit Substitutions
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
Ramified Analysis and the Minimal Β-Models of Higher Order Arithmetics
Fundamenta Mathematicae
Number Theory
Algebra
Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quark Lepton Unification in Higher Dimensions
Physical Review D
Simplifying the Signature in Second-Order Unification
Applicable Algebra in Engineering, Communications and Computing
Applied Mathematics
Number Theory
Algebra
