Pages that link to "Item:Q2639057"
From MaRDI portal
The following pages link to Inductive definitions over finite structures (Q2639057):
Displayed 7 items.
- The alternating fixpoint of logic programs with negation (Q686646) (← links)
- Datalog extensions for database queries and updates (Q1176285) (← links)
- A restricted second order logic for finite structures (Q1271559) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Computing on structures (Q4630296) (← links)
- A restricted second order logic for finite structures (Q6064291) (← links)
- Logics capturing relativized complexity classes uniformly (Q6064295) (← links)