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
1203Kb

Official URL: http://www.elsevier.com/wps/find/bookdescription.cws_home/622118/description


Item Type:Book Section
Subjects:UNSPECIFIED
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