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 2015-07-20 17:55:49.0 disk size 24.35 MB build status uploaded built

configurations

name	description
Transition	no description
Itrs	no description

actions

get anonymous link download