Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)

✍ Scribed by Jean-Pierre Jouannaud

• Book ID: 108498447
• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 244 KB
• Volume: 15
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80024-6