Searching for "Equality Reasoning in Sequent-Based Calculi." – sorted by Relevance.
-
Equality Reasoning in Sequent-Based Calculi
- CHAPTER 10 Equality Reasoning in Sequent-Based Calculi Anatoli Degtyarev Andrei Voronkov SECOND
- Cited by 17 (7 self) – Add To MetaCart
-
Chapter 7 Equality
- in sequent-based calculi. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning
- Add To MetaCart
-
.1 Natural Deduction
- ] Anatoli Degtyarev and Andrei Voronkov. Equality reasoning in sequent-based calculi. In Alan Robinson
- Add To MetaCart

