Ctrl

loading
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 Jul 20 2015
disk size 24.35 MB
build status uploaded built
configurations
name description
Transition no description
Itrs no description

actions get anonymous link download