Theory of Judgments and Derivations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Handbook of automated reasoning
ACM Transactions on Computational Logic (TOCL)
Journal of Automated Reasoning
Explicit convertibility proofs in pure type systems
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Hi-index | 0.00 |