Decidable Call by Need Computations in Term Rewriting
収録刊行物
-
- Proc. of the 14th Int. Conf. on Automated Deduction (CADE'97)
-
Proc. of the 14th Int. Conf. on Automated Deduction (CADE'97) 1997