EasyChair Smart Slide
Docs
/
Log in
Home
Title:
ComplCoq: Rewrite Hint Construction with Completion Procedures
Authors:
Mirai Ikebuchi
and
Keisuke Nakano
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
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
More
Related
1
2
3
4
Copyright © 2002 – 2024 EasyChair
ComplCoq: Rewrite Hint Construction with Completion Procedures
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23