Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Temur Kutsia
Higher-Order Pattern Anti-Unification in Linear Time
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Anti-Unification and Natural Language Processing
EasyChair Preprints
Related publications
Linear Unification of Higher-Order Patterns
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ramified Higher-Order Unification
Higher-Order Unification via Explicit Substitutions
Higher-Order Unification Revisited: Complete Sets of Transformations
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Polymorphic Type Inference and Higher-Order Unification
Higher-Order Distributions for Differential Linear Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pseudoprimes for Higher-Order Linear Recurrence Sequences
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
Linear Interpolation for the Higher-Order Matching Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
