kics2

Here is 1 public repository matching this topic...

Libraries for term rewriting and narrowing in Curry

curry substitution unification rewriting narrowing critical-pairs pakcs kics2 definitional-trees

To associate your repository with the kics2 topic, visit your repo's landing page and select "manage topics."