Edinburgh Research Explorer

The Use of Proof Plans for Normalization

Research output: Chapter in Book/Report/Conference proceedingChapter

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publicationEssays in Honour of Woody Bledsoe
EditorsR. S. Boyer
PublisherKluwer Academic Publishers
ISBN (Print)0792314093, 978-0792314097
StatePublished - 1991

Download statistics

No data available

ID: 405659