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

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

Accessibility | Terms and Conditions | Last Modified 01 November 2007