ACM Transactions on Computational Logic (TOCL)
A Framework for Decidable Metrical Logics
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Succinctness Gap between Monadic Logic and Duration Calculus
Fundamenta Informaticae
Hi-index | 0.00 |