Proof-producing congruence closure
収録刊行物
-
- Proc. 16th Int. Conf. on Term Rewriting and Applications (RTA'05)
-
Proc. 16th Int. Conf. on Term Rewriting and Applications (RTA'05) 453-468, 2005