A Look at the Source Code of Theo

Monty Newborn ()
Additional contact information
Monty Newborn: McGill University, School of Computer Science

Chapter 12 in Automated Theorem Proving, 2001, pp 173-180 from Springer

Abstract: Abstract This chapter introduces you to the source code of THEO. The source files are listed and briefly described in Section 12.1. Section 12.2, and, in particular, Figure 12.1, describe how the function in these files are linked. A brief description of the main functions used by THEO is given in Section 12.3. Section 12.4 reminds the reader that both HERBY and THEO represent a clause with the same machine code format. Section 12.5 considers the major arrays in THEO. Sections 12.6 and 12.7 discuss functions used by THEO related to hashing clauses and reconstructing a proof.

Keywords: Source Code; Search Tree; Hash Table; Source File; Machine Code (search for similar items in EconPapers)
Date: 2001
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0089-2_12

Ordering information: This item can be ordered from
http://www.springer.com/9781461300892

DOI: 10.1007/978-1-4613-0089-2_12

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().