Deciding <i>k</i> CFA is complete for EXPTIME (Q5178768)
From MaRDI portal
scientific article; zbMATH DE number 6415851
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding <i>k</i> CFA is complete for EXPTIME |
scientific article; zbMATH DE number 6415851 |
Statements
Deciding <i>k</i> CFA is complete for EXPTIME (English)
0 references
16 March 2015
0 references
complexity
0 references
flow analysis
0 references
