| ||||
| ||||
![]() Title:ComplCoq: Rewrite Hint Construction with Completion Procedures Conference:Coq Workshop 2018 Tags:Automated Algebraic Reasonings, Completion and Term Rewriting Systems Abstract: The proposal is uploaded. ComplCoq: Rewrite Hint Construction with Completion Procedures ![]() ComplCoq: Rewrite Hint Construction with Completion Procedures | ||||
Copyright © 2002 – 2025 EasyChair |