Resolution With Merging (Q5573405)
From MaRDI portal
scientific article; zbMATH DE number 3289465
Language | Label | Description | Also known as |
---|---|---|---|
English | Resolution With Merging |
scientific article; zbMATH DE number 3289465 |
Statements
Resolution With Merging (English)
0 references
1968
0 references
recursion theory, constructive mathematics
0 references