Abstract
A logic that allows to handle partial functions and undefined terms is investigated. Plenty of logical calculi for partial functions are proposed. The extent of these calculi as convenient tools for computation is analyzed.
| Original language | English |
|---|---|
| Pages (from-to) | 73-81 |
| Number of pages | 9 |
| Journal | Computer Journal |
| Volume | 42 |
| Issue number | 2 |
| DOIs | |
| State | Published - 1999 |
Fingerprint
Dive into the research topics of 'Adapting calculational logic to the undefined'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver