No label defined (Q3936708)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1981
0 references
sequent calculus
0 references
axiomatic set theory
0 references
program correctness
0 references
subrecursive class of algorithms
0 references
foundations of theoretical computer science
0 references
partial correctness
0 references
bounded recursion
0 references
Grzegorczyk's 5th problem
0 references
operators in constructive metric spaces
0 references
