Equality Reasoning in Sequent-Based Calculi
| Data(s) |
2001
|
|---|---|
| Formato |
application/postscript |
| Identificador |
http://calcium.dcs.kcl.ac.uk/891/1/hand_eq_seq.ps 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 |
| Publicador |
Elsevier and MIT Press |
| Relação |
http://www.elsevier.com/wps/find/bookdescription.cws_home/622118/description http://calcium.dcs.kcl.ac.uk/891/ |
| Tipo |
Book Section PeerReviewed |
