kics2

There are 0 repository under kics2 topic.

• matthesjh / rewriting-curry

  Libraries for term rewriting and narrowing in Curry

  critical-pairscurrydefinitional-treeskics2narrowingpakcsrewritingsubstitutionunification
  3