| 1982 | ||
|---|---|---|
| j1 | Kenneth L. Manders, Robert R. Daley: The Complexity of the Validity Problem for Dynamic Logic. Information and Control 54(1/2): 48-69 (1982) | |
| 1 | Kenneth L. Manders |
Data released under the ODC-BY 1.0 license — See also our legal information page