Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
A taxonomy of theorem-proving strategies
Artificial intelligence today
Rough implication operator based on strong topological rough algebras
Information Sciences: an International Journal
Hi-index | 0.00 |