Handbook of theoretical computer science (vol. B)
Modal and temporal properties of processes
Modal and temporal properties of processes
Descriptive Approach to Language - Theoretic Complexity
Descriptive Approach to Language - Theoretic Complexity
Dynamic Logic
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Hi-index | 0.00 |