Pages that link to "Item:Q2639057"
From MaRDI portal
The following pages link to Inductive definitions over finite structures (Q2639057):
Displaying 11 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)
- Deriving structural hylomorphisms from recursive definitions (Q2817685) (← links)
- On the complexity of inductive definitions (Q3422019) (← links)
- (Q4263867) (← links)
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809) (← links)
- Computing on structures (Q4630296) (← links)
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984) (← links)
- Logics capturing relativized complexity classes uniformly (Q6064295) (← links)