Browsing tag: term  

Uplug 0.2.0c

Uplug is a collection of tools for linguistic corpus processing, word alignment, and term extracti...

Apr 3rd 2008, 16:38 GMT

AProVE 07

AProVE is a system for automated termination and innermost termination proofs of term rewrite syst...

Mar 15th 2008, 05:22 GMT