GitHub repository: ComputationWithBoundedResources/tct-trs
Primary language: Haskell
Created: 2015-06-29T08:12:49Z
Description: Automatic complexity analysis tool for term rewrite systems