TermCOMP

Pinned Repositories

ari-conversion
A tool for converting between different formats of rewrite systems.
Language:Haskell00
CeTApostproc
Language:XSLT00
haskell-tpdb
parser and prettyprinter for TPDB syntax (termination problem data base)
Language:Haskell00
starexec-master
Language:PHP5 5 1915
TermCOMP.github.io
Language:HTML00
test
Language:JavaScript0 1 00
TPDB
The Termination Problem Database
Language:SMT27 4 210
TPDB-ARI
02

TermCOMP's Repositories

TermCOMP/TPDB
The Termination Problem Database
Language:SMT27 4 210
TermCOMP/starexec-master
Language:PHP5 5 1915
TermCOMP/ari-conversion
A tool for converting between different formats of rewrite systems.
Language:Haskell00
TermCOMP/CeTApostproc
Language:XSLT00
TermCOMP/haskell-tpdb
parser and prettyprinter for TPDB syntax (termination problem data base)
Language:Haskell00
TermCOMP/TermCOMP.github.io
Language:HTML00
TermCOMP/test
Language:JavaScript0 1 00
TermCOMP/TPDB-ARI
02