Storming Media: Pentagon Reports and DocumentsPentagon Reports: Fast. Definitive. Complete.     
New Account »
Forgot Password?
Advanced Search »
AviationAerial Bombs

Data Types as Lattices: Retractions, Closures and Projections.

Authors: Luis E. Sanchis; SYRACUSE UNIV N Y
Abstract:
This paper presents the mathematical principles of lattice theory oriented toward the theory of computation. Notions like representations, retraction, projection, and closure have been previously developed, but the connections between them have not been shown elsewhere. Attempted is a systematic treatment of this lattice theory that involves the definition of data structures. (Author)

Description: Interim rept. 1 Jun 76-31 May 77
Pages: 29
Report Date: SEP 1977
Contract Number: F3060276C0325
Report Number: A728440

Report Unavailable

This title is unavailable from Storming Media. We do not know when it might be available, if at all. We list the report on our site for bibliographic completeness, to help our users know what other work has been performed in this field. Please note that as with all titles on this site, we do not have contact information for any of the authors. Nor can we give any suggestions on how one might obtain this report.
Keywords relating to this report:
*MATHEMATICAL LOGIC
*PROGRAMMING LANGUAGES
ALGEBRAIC FUNCTIONS
ALGORITHMS
COMPUTATIONS
FUNCTIONAL ANALYSIS
RECURSIVE FUNCTIONS
SEMANTICS
Email This Abstract