Mechanizing proof theory : resource-aware logics and proof-transformations to extract implicit information

Author(s)

• Bellin, Gianluigi

Bibliographic Information

Mechanizing proof theory : resource-aware logics and proof-transformations to extract implicit information

by Gianluigi Bellin

University of Edinburgh, Department of Computer Science, 1991

Other Title

CST-80-91

Note

Includes bibliographical references (p. 224-226) and index

Author's thesis (Ph.D.)--University of Edinbungh, 1992 (CST-80-91)

Details

• NCID: BA27159137
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: x, 1, 231 p.
• Size: 21 cm