2004年
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA'04), Lecture Notes in Computer Science
- 巻
- Vol. 3091, pp. 285-300
- 号