A framework for defining logics
Journal of the ACM (JACM)
A logical framework for software proof reuse
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Oracle-based checking of untrusted software
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
Higher-Order and Symbolic Computation
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A judgmental reconstruction of modal logic
Mathematical Structures in Computer Science
A Framework for Defining Logical Frameworks
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Nominal Terms and Their Theory of Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
LFP: a logical framework with external predicates
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
25 years of formal proof cultures: some problems, some philosophy, bright future
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Hi-index | 0.00 |