Variant Satisfiability of Parameterized Strings (Q6486037)
From MaRDI portal
scientific article; zbMATH DE number 7636413
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variant Satisfiability of Parameterized Strings |
scientific article; zbMATH DE number 7636413 |
Statements
Variant Satisfiability of Parameterized Strings (English)
0 references
22 December 2022
0 references
