Hofstee, H. Peter (1993) A problem in the regularity calculus. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_postscript.png)
|
Postscript
- Submitted Version
See Usage Policy. 375kB | |
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png)
|
PDF
- Submitted Version
See Usage Policy. 335kB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42
Abstract
[No Abstract]
| Item Type: | Report or Paper (Technical Report) |
|---|---|
| Additional Information: | © 1993 California Institute of Technology. A discussion with Rustan Leino convinced me that I had to add condition (0), and that the relational calculus (without the cone rule) was inappropriate for this problem. Rustan has consolidated our excursions within the relational calculus in KRML 25. Jan van de Snepscheut scrutynized an earlier version of the paper is now error free, it is because of his efforts. if it is not, I am to blame. The observation in section four about the choice for R is Jan's. |
| Group: | Computer Science Technical Reports |
| Series Name: | Computer Science Technical Reports |
| DOI: | 10.7907/Z9RJ4GHK |
| Record Number: | CaltechCSTR:1993.cs-tr-93-42 |
| Persistent URL: | https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42 |
| Usage Policy: | You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format. |
| ID Code: | 26895 |
| Collection: | CaltechCSTR |
| Deposited By: | Imported from CaltechCSTR |
| Deposited On: | 17 Jul 2001 |
| Last Modified: | 03 Oct 2019 03:18 |
Repository Staff Only: item control page
