University of Illinois Urbana-Champaign

TED: A tree editor with applications for theorem proving

Hammerslag, David H.

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/95781

Description

Title
TED: A tree editor with applications for theorem proving
Author(s)
Hammerslag, David H.
Issue Date
1984-12
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S. (master's)
Degree Level
Thesis
Date of Ingest
2017-03-28T16:58:21Z
Keyword(s)
  • TED
  • Tree editor
  • Theorem proving
  • Structure editing
  • Proof management systems
Language
en
Abstract
As an aid to constructing, modifying, and maintaining formal proofs - proof management system has been developed. This system is based on a general purpose tree editor and includes interfaces to various theorem provers and other tools to facilitate proof management. This thesis describes the tree editor and its use in the theorem proving application as well as other applications.
Sponsor(s)/Grant Number(s)
NASA grant NAG 1-138
Type of Resource
text
Permalink
http://hdl.handle.net/2142/95781
Copyright and License Information
Copyright 1984 David H. Hammerslag

Owning Collections

Research and Tech Reports - Computer Science
Dissertations and Theses - Computer Science PRIMARY
Dissertations and Theses from the Siebel School of Computer Science