Pages that link to "Item:Q1271477"
From MaRDI portal
The following pages link to An extension of fixpoint logic with a symmetry-based choice construct (Q1271477):
Displayed 5 items.
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs (Q2478545) (← links)
- On the Descriptive Complexity of Linear Algebra (Q3511442) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
- On polynomial time computation over unordered structures (Q4779654) (← links)