Partial functions in a total setting (Q679251)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Partial functions in a total setting |
scientific article; zbMATH DE number 1002305
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial functions in a total setting |
scientific article; zbMATH DE number 1002305 |
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
