2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241)
From MaRDI portal
scientific article; zbMATH DE number 5051853
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 2-Exp Time lower bounds for propositional dynamic logics with intersection |
scientific article; zbMATH DE number 5051853 |
Statements
2-Exp Time lower bounds for propositional dynamic logics with intersection (English)
0 references
6 September 2006
0 references
