The following pages link to (Q3775538):
Displayed 13 items.
- Generalized hex and logical characterizations of polynomial space (Q287159) (← links)
- The expressive power of stratified logic programs (Q803773) (← links)
- Datalog extensions for database queries and updates (Q1176285) (← links)
- Why not negation by fixpoint? (Q1176286) (← links)
- Capturing complexity classes by fragments of second-order logic (Q1193408) (← links)
- Positive versions of polynomial time (Q1281503) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- Non-determinism in logic-based languages (Q1360676) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Parameterized Complexity Classes under Logical Reductions (Q3182930) (← links)
- (Q4625692) (← links)
- Games for Inclusion Logic and Fixed-Point Logic (Q5213642) (← links)