No label defined (Q4205070)
From MaRDI portal
scientific article; zbMATH DE number 4124987
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 4124987 |
Statements
1989
0 references
equivalence problem
0 references
synthesis of programs
0 references
regular expressions
0 references
loops
0 references
complexity
0 references