Rewriting Logic as a Metalogical Framework
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Let's Get Physical: Models and Methods for Real-World Security Protocols
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Parameterized metareasoning in membership equational logic
Formal modeling
Hi-index | 0.00 |