FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Handbook of automated reasoning
On equivalence and canonical forms in the LF type theory
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |