Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Equality Reasoning in Sequent-Based Calculi

Degtyarev, Anatoli and Voronkov, Andrei (2001) Equality Reasoning in Sequent-Based Calculi. In: Handbook of Automated Reasoning. Elsevier and MIT Press, pp. 611-706. ISBN 0-444-50813-9, 0-262-18223-8

[img]Postscript - Repository staff only - Requires a viewer, such as GSview

Official URL:

Item Type:Book Section
ID Code:891
Deposited By:Dr Anatoli Degtyarev
Deposited On:08 Nov 2007 08:32
Last Modified:08 Nov 2007 08:32

Repository Staff Only: item control page