A Semi-reflexive Tactic for (Sub-)Equational Reasoning
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 98-114
- https://doi.org/10.1007/11617990_7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Setoids in type theoryJournal of Functional Programming, 2003
- Normalized TypesLecture Notes in Computer Science, 2001
- TAS — A Generic Window Inference SystemLecture Notes in Computer Science, 2000
- Transformational Hierarchical ReasoningThe Computer Journal, 1996
- Formalizing a Hierarchical Structure of Practical Mathematical ReasoningJournal of Logic and Computation, 1993