infChecker

Infeasibility Checker for Conditional Rewrite Systems

Description

Web Interface

Related Publications