Higher-order critical pairs
書誌事項
- 公開日
- 1991
収録刊行物
-
- Proc. 6th Annual IEEE Symposium on Logic in Computer Science, 1991
-
Proc. 6th Annual IEEE Symposium on Logic in Computer Science, 1991 342-349, 1991