definitional-trees

There are 0 repository under definitional-trees topic.

• matthesjh / rewriting-curry

  Libraries for term rewriting and narrowing in Curry

  critical-pairscurrydefinitional-treeskics2narrowingpakcsrewritingsubstitutionunification
  3