Tools:Matchbox
From Termination-Portal.org
Jump to navigationJump to search
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
