Pages that link to "Item:Q3718149"
From MaRDI portal
The following pages link to On static logics, dynamic logics, and complexity classes (Q3718149):
Displaying 12 items.
- On the power of deep pushdown stacks (Q1037618) (← links)
- Expressing program looping in regular dynamic logic (Q1161284) (← links)
- Query languages for hierarchic databases (Q1201723) (← links)
- Propositional dynamic logic of regular programs (Q1258296) (← links)
- On the power of built-in relations in certain classes of program schemes (Q1277684) (← links)
- Context-sensitive transitive closure operators (Q1319508) (← links)
- Logical and schematic characterization of complexity classes (Q1323362) (← links)
- Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- Program Schemes with Deep Pushdown Storage (Q3507414) (← links)
- (Q5079746) (← links)
- Complexity of proving program correctness (Q5096233) (← links)