Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Proving Hybrid Protocols Correct
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Deriving Modular Programs from Short Proofs
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
A computational approach to reflective meta-reasoning about languages with bindings
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Handling Polymorphism in Automated Deduction
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Extracting programs from constructive HOL proofs via IZF set-theoretic semantics
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Automating proofs in category theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Nuprl as logical framework for automating proofs in category theory
Logic and Program Semantics
Hi-index | 0.00 |