Designing a rewriting induction prover with an increased capability of non-orientable equations
収録刊行物
-
- Proc. of SCSS, 2008
-
Proc. of SCSS, 2008 1-15, 2008
Proc. of SCSS, 2008 1-15, 2008