Fast left-linear semi-unification

This publication has 8 references indexed in Scilit:

• Computational consequences and partial solutions of a generalized unification problem
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Type inference and semi-unification
  Published by Association for Computing Machinery (ACM) ,1988
• Semi-unification
  Published by Springer Nature ,1988
• Maintenance of transitive closures and transitive reductions of graphs
  Lecture Notes in Computer Science, 1988
• Detecting looping simplifications
  Published by Springer Nature ,1987
• On the sequential nature of unification
  The Journal of Logic Programming, 1984
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• The monotone and planar circuit value problems are log space complete for P
  ACM SIGACT News, 1977