TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Monadic second-order logics with cardinalities
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Verified decision procedures for MSO on words based on derivatives of regular expressions
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |