Equational reasoning in Isabelle

Tobias Nipkow

doi:10.1016/0167-6423(89)90038-5

Equational reasoning in Isabelle

Tobias Nipkow

Massachusetts Institute of Technology

Research output: Contribution to journal › Article › peer-review

14 Scopus citations

Original language	English
Pages (from-to)	123-149
Number of pages	27
Journal	Science of Computer Programming
Volume	12
Issue number	2
DOIs	https://doi.org/10.1016/0167-6423(89)90038-5
State	Published - Jul 1989
Externally published	Yes

Access to Document

10.1016/0167-6423(89)90038-5

Cite this

@article{a14ecd34fce24489bac17c666aa0c68f,

title = "Equational reasoning in Isabelle",

author = "Tobias Nipkow",

note = "Funding Information: * Part of this research was carried out at the University of Manchester with support from Alvey grant GR/D/60294. At MIT the author was supported in part by NYNEX, NSF grant CCR-8706652, and by the Advanced Research Projects Agency of the DOD, monitored by the ONR under contract N00014-83-K-0125.",

year = "1989",

month = jul,

doi = "10.1016/0167-6423(89)90038-5",

language = "English",

volume = "12",

pages = "123--149",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Equational reasoning in Isabelle

AU - Nipkow, Tobias

N1 - Funding Information: * Part of this research was carried out at the University of Manchester with support from Alvey grant GR/D/60294. At MIT the author was supported in part by NYNEX, NSF grant CCR-8706652, and by the Advanced Research Projects Agency of the DOD, monitored by the ONR under contract N00014-83-K-0125.

PY - 1989/7

Y1 - 1989/7

UR - http://www.scopus.com/inward/record.url?scp=38249023026&partnerID=8YFLogxK

U2 - 10.1016/0167-6423(89)90038-5

DO - 10.1016/0167-6423(89)90038-5

M3 - Article

AN - SCOPUS:38249023026

SN - 0167-6423

VL - 12

SP - 123

EP - 149

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 2

ER -

Equational reasoning in Isabelle

Access to Document

Other files and links

Cite this