Order-Sorted Equational Computation

This publication has 14 references indexed in Scilit:

• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• An algebraic semantics approach to the effective resolution of type equations
  Theoretical Computer Science, 1986
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• Complete sets of unifiers and matchers in equational theories
  Theoretical Computer Science, 1986
• Rewrite systems on a lattice of types
  Acta Informatica, 1985
• Conditional rewrite rules
  Theoretical Computer Science, 1984
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• Partial abstract types
  Acta Informatica, 1982
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• Untersuchungen zur mehrsortigen Quantorenlogik
  Mathematische Annalen, 1962