Regular expression containment: coinductive axiomatization and computational interpretation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Container of (min, +)-linear systems
Discrete Event Dynamic Systems
Hi-index | 0.00 |