Logical verification and equational verification


There were some errors in the last article of the Logic Column. Thanks to Claudia Zepeda for spotting them. They have been corrected in the online version of the article, available from the CORR archive at http://arxiv.org/abs/cs.LO/0502031. All articles published in this column are archived at CORR; the following URL will return them all: http://arxiv.org… (More)
DOI: 10.1145/1067309.1067326


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.