Pages that link to "Item:Q3125892"
From MaRDI portal
The following pages link to A complete axiomatization of a theory with feature and arity constraints (Q3125892):
Displaying 5 items.
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Theories with the independence property (Q993495) (← links)
- How to win a game with features (Q1271569) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
