Skip to main content

Term rewriting and Hoare logic - Coded rewriting

Download / Buy Article:

This article is hosted on another website.

You may be required to register, activate a subscription or purchase the article before you can obtain the full text.

Proceed

Keywords: Algebras; Coded rewriting; Equations; Hoare logic; Term rewriting

Document Type: Research Article

DOI: http://dx.doi.org/10.1016/S0020-0190(96)00169-X

Affiliations: Department of Computer Science, The Queen's University of Belfast, Belfast BT7 1NN, Northern Ireland, United Kingdom

Publication date: December 9, 1996

els/00200190/1996/00000060/00000005/art00169
dcterms_title,dcterms_description,pub_keyword
6
5
20
40
5

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more