A mechanical proof of the Church-Rosser theorem
Journal of the ACM (JACM)
The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Verbalization of high-level formal proofs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Fast Tactic-Based Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |