Faster proof checking in the Edinburgh Logical Framework

Conference proceeding

Peer reviewed

Aaron Stump and David L Dill

Lecture notes in computer science, Vol.2392, pp.392-407

Automated deduction - CADE-18 (Copenhagen, 27-30 July 2002)

2002

DOI: 10.1007/3-540-45620-1_32

View Online

Applied sciences

Artificial intelligence

Computer science; control theory; systems

Exact sciences and technology

Problem solving, game playing

Title: Subtitle: Faster proof checking in the Edinburgh Logical Framework
Creators: Aaron Stump - Stanford University
David L Dill - Stanford University
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.2392, pp.392-407
Conference: Automated deduction - CADE-18 (Copenhagen, 27-30 July 2002)
Publisher: Springer
DOI: 10.1007/3-540-45620-1_32
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2002
Academic Unit: Computer Science
Record Identifier: 9984259412102771

8 Record Views