CaltechAUTHORS
Published 1993 | Version Accepted Version
Technical Report Open

On Lattice Theory and Program Semantics

Creators

Abstract

[No Abstract]

Additional Information

© 1993 California Institute of Technology.

Attached Files

Accepted Version - 93-19.pdf

Accepted Version - 93-19.ps

Files

93-19.pdf

Files (2.3 MB)

Name Size
md5:28190d0e2697773671febfbf01e613db
2.0 MB Preview Download
md5:28de7b608cae87d4e82f88106fd49e27
385.5 kB Download

Additional details

Identifiers

Eprint ID
26866
Resolver ID
CaltechCSTR:1993.cs-tr-93-19

Dates

Created
2001-05-14
Created from EPrint's datestamp field
Updated
2019-10-03
Created from EPrint's last_modified field

Caltech Custom Metadata

Caltech groups
Computer Science Technical Reports
Series Name
Computer Science Technical Reports
Other Numbering System Name
Computer Science Technical Reports
Other Numbering System Identifier
93-19