Tools:Matchbox
From Termination-Portal.org
Revision as of 07:41, 5 June 2014 by J.waldmann (talk | contribs)
Matchbox (Matchbox)
- developed at HTWK Leipzig, Germany
- home page: https://github.com/jwaldmann/matchbox
- developers: Alexander Bau, Eric Noeth, Johannes Waldmann
- publication: http://dblp.uni-trier.de/rec/bibtex/conf/rta/KoprowskiW08