Wanda

loading
details

attribute value
name Wanda
description Wanda: a termination tool for higher order term rewriting. Underlying tools are MiniSat for finding reduction pairs and AProVE to handle the first order part of a higher order problem. URL: http://wandahot.sourceforge.net/ Main Developer: Cynthia Kop, University of Innsbruck.
owner Cynthia Kop
uploaded Jun 30 2014
disk size 44.43 MB
build status uploaded built
configurations
name description
FirstOrder no description
HigherOrder no description

actions get anonymous link