A combinatorial characterization of sequential p. martin-löf tests (Q5187267)
From MaRDI portal
scientific article; zbMATH DE number 3895048
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A combinatorial characterization of sequential p. martin-löf tests |
scientific article; zbMATH DE number 3895048 |
Statements
A combinatorial characterization of sequential p. martin-löf tests (English)
0 references
1985
0 references
prefix-free set
0 references
free monoid
0 references
recursively enumerable set
0 references
