Pages that link to "Item:Q2639057"

The following pages link to Inductive definitions over finite structures (Q2639057):

Displaying 5 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)