On logic of complex algorithms (Q1162145)
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: On logic of complex algorithms |
scientific article; zbMATH DE number 3754028
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On logic of complex algorithms |
scientific article; zbMATH DE number 3754028 |
Statements
On logic of complex algorithms (English)
0 references
1981
0 references
recursive coroutines
0 references
recursive procedures
0 references
algorithmic logic
0 references
omega-+- valued logic
0 references
completeness theorem
0 references
deterministic programs
0 references
interacting stacks-programs
0 references
axiomatization of LCA
0 references
