Searching for "Equality Reasoning in Sequent-Based Calculi." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Equality Reasoning in Sequent-Based Calculi
by Anatoli Degtyarev, Andrei Voronkov — 1996 — Handbook of Automated Reasoning, volume I, chapter 10
…CHAPTER 10 Equality Reasoning in Sequent-Based Calculi Anatoli Degtyarev Andrei Voronkov SECOND…
Cited by 17 (7 self) – Add To MetaCart

Chapter 7 Equality
by unknown authors
… in sequent-based calculi. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning…
Add To MetaCart

.1 Natural Deduction
by We Characterize Equality
…] Anatoli Degtyarev and Andrei Voronkov. Equality reasoning in sequent-based calculi. In Alan Robinson…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB