Partial functions in a total setting (Q679251)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial functions in a total setting |
scientific article |
Statements
Partial functions in a total setting (English)
0 references
7 September 1997
0 references
mechanical theorem proving
0 references
partial recursive functions
0 references
