Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jean Gallier
Higher-Order Unification Revisited: Complete Sets of Transformations
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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 via Explicit Substitutions
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
Using Meta-Code Generation to Realize Higher-Order Model Transformations
Learning Class-Specific Image Transformations With Higher-Order Boltzmann Machines
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention Revisited
Machine Learning
Artificial Intelligence
Software
