An overview of the Edinburgh logical framework

Arnon Avron, Furio Honsell, Ian A. Mason

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Current trends in hardware verification and automated theorem proving
Editors	Graham Birtwistle , P.A. Subrahmanyam
Publisher	Springer New York
Pages	323-340
Number of pages	18
Edition	1
ISBN (Electronic)	978-1-4612-3658-0
ISBN (Print)	978-1-4612-8195-5, 978-0-387-96988-6
DOIs	https://doi.org/10.1007/978-1-4612-3658-0_8
State	Published - 1989
Externally published	Yes

Access to Document

@inbook{68ab7024c8e24f028804dbcaa48d5a71,

title = "An overview of the Edinburgh logical framework",

author = "Arnon Avron and Furio Honsell and Mason, {Ian A.}",

year = "1989",

doi = "10.1007/978-1-4612-3658-0_8",

language = "אנגלית",

isbn = "978-1-4612-8195-5",

pages = "323--340",

editor = "{Birtwistle }, {Graham } and Subrahmanyam, {P.A. }",

booktitle = "Current trends in hardware verification and automated theorem proving",

publisher = "Springer New York",

address = "ארצות הברית",

edition = "1",

}

TY - CHAP

T1 - An overview of the Edinburgh logical framework

AU - Avron, Arnon

AU - Honsell, Furio

AU - Mason, Ian A.

PY - 1989

Y1 - 1989

U2 - 10.1007/978-1-4612-3658-0_8

DO - 10.1007/978-1-4612-3658-0_8

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

SN - 978-1-4612-8195-5

SN - 978-0-387-96988-6

SP - 323

EP - 340

BT - Current trends in hardware verification and automated theorem proving

A2 - Birtwistle , Graham

A2 - Subrahmanyam, P.A.

PB - Springer New York

ER -