Tools on Rewriting

2 tools found.

• Unif-STG

  last modified: Jun 06, 2011 17:14:01

  

  A tool for first-order unification on terms represented by Singleton Tree Grammars.

  categories unification

• SToUT

  last modified: Jan 01, 1970 09:00:00

  

  The SToUT (Symbolic Computation Techniques for Unranked Terms) project provides a library for unification and anti-unification algorithms: unification with sequence variables, context sequence matching, rigid anti-unification for unranked terms and hedges, unranked second-order anti-unification, higher-order anti-unification, nominal anti-unification.

  

  categories unification anti-unification Java LGPL