Partial functions in ACL2 (Q1425160)
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 ACL2 |
scientific article; zbMATH DE number 2057783
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial functions in ACL2 |
scientific article; zbMATH DE number 2057783 |
Statements
Partial functions in ACL2 (English)
0 references
15 March 2004
0 references
ACL2
0 references
partial functions
0 references
0 references
0.79977244
0 references
0 references
0.78863335
0 references
0 references
