Semantics-to-Syntax Analyses of Algorithms (Q4637221)
From MaRDI portal
!
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 6861190
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Semantics-to-Syntax Analyses of Algorithms |
scientific article; zbMATH DE number 6861190 |
Statements
Semantics-to-Syntax Analyses of Algorithms (English)
0 references
18 April 2018
0 references
abstract state machines
0 references
analysis of algorithms
0 references
Church's thesis
0 references
computability
0 references
concept of algorithms
0 references
definition of algorithms
0 references
human computers
0 references
semantics-to-syntax analysis
0 references
sequential algorithm
0 references
Turing's thesis
0 references
0 references
0.90677947
0 references
0 references
0.87433726
0 references
0.8722062
0 references
