Explore projects

A tool performing AC-completion for left-linear TRSs written in Haskell.

This is a code base accompanying the master thesis with the title 'On orthogonality of Self-Distributivity' by R. Schikora.

Yet another maximal completion tool written in Haskell.

Yet another completion tool written in Haskell.

Yet another LPO/KBO-based termination tool written in Haskell.

Migrated to https://github.com/uibk-dps-teaching/DPS-LaTeX