On logic of complex algorithms (Q1162145)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On logic of complex algorithms |
scientific article |
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