FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ComplCoq: Rewrite Hint Construction with Completion Procedures

Authors: Mirai Ikebuchi and Keisuke Nakano

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:ComplCoq: Rewrite Hint Construction with Completion Procedures
Authors:Mirai Ikebuchi and Keisuke Nakano
Proceedings:Coq Abstracts
Editor: Nicolas Tabareau
Keywords:Completion, Term Rewriting Systems, Automated Algebraic Reasonings
Abstract:

ABSTRACT. The proposal is uploaded.

Pages:2
Talk:Jul 08 16:00 (Session 42B)
Paper: