A format for semantic equivalence comparison
Theoretical Computer Science
Natural Quantum Operational Semantics with Predicates
International Journal of Applied Mathematics and Computer Science - Selected Problems of Computer Science and Control
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 5.23 |