Found an issue? Give us feedback

ACM SIGACT Newsarrow_drop_down

ACM SIGACT News

Article . 2005 . Peer-reviewed

Data sources: Crossref

https://dblp.uni-trier.de/db/j...

Article

Data sources: Microsoft Academic Graph

Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Logical verification and equational verification

Name: Logical verification and equational verification
Creator: Riccardo Pucella
Keywords: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 01 Jun 2005Publisher:Association for Computing Machinery (ACM)Journal:ACM SIGACT News, volume 36, pages 77-88 (issn: 0163-5700,

Authors: Riccardo Pucella;

doi: 10.1145/1067309.1067326

Logical verification and equational verification

- Summary
- Metrics

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/find/grp_cs/1/ti:+AND+logic+column.

Related Organizations

Cornell University
United States

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Fields of Science (3) View all

Fields of Science

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!