Symmetric intertask communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transition logic: How to reason about temporal properties in a compositional way
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Montagovian Definite Clause Grammar
EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
| Hi-index | 0.00 |