1990
On the power of subsumption and context checks
Publication
Publication
Presented at the
International Symposium on Design and Implementation of Symbolic Computation Systems, Capri
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Design and Implementation of Symbolic Computation Systems | |
Organisation | Networks and Optimization |
Bol, R. N., Apt, K., & Klop, J. W. (1990). On the power of subsumption and context checks. In Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems 1990 (pp. 131–140). Springer. |