Instruction sequence processing operators (Q715042)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6093690
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Instruction sequence processing operators |
scientific article; zbMATH DE number 6093690 |
Statements
Instruction sequence processing operators (English)
0 references
15 October 2012
0 references
instruction sequence
0 references
undecidability of the halting problem
0 references
autosolvability requirement
0 references
universal computable functional unit for natural numbers
0 references
0 references
0.7818937301635742
0 references
0.754930853843689
0 references
0.7247774004936218
0 references
0.7114740610122681
0 references
