Implementing a cost-aware evaluator for ACL2 expressions
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Proof of transitive closure property of directed acyclic graphs
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Verified decision procedures on context-free grammars
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Hi-index | 0.00 |