Pages that link to "Item:Q1886320"
From MaRDI portal
The following pages link to Expressive equivalence of least and inflationary fixed-point logic (Q1886320):
Displaying 8 items.
- FO(ID) as an extension of DL with rules (Q604911) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Automata, Languages and Programming (Q5466543) (← links)
- Canonisation and Definability for Graphs of Bounded Rank Width (Q5875948) (← links)
- On the descriptive complexity of temporal constraint satisfaction problems (Q6567262) (← links)