details

attribute value name Ctrl description Ctrl: an analysis tool for logically constrained term rewriting systems. By: Cynthia Kop, University of Innsbruck. owner Cynthia Kop uploaded 2014-06-30 10:09:20.0 disk size 21.02 MB build status uploaded built

configurations

name	description
Transition	no description
Itrs	no description

actions

get anonymous link