Logical verification and equational verification

Abstract

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

Topics

Figures and Tables

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