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 13 items.
- A complete and recursive feature theory (Q673135) (← links)
- 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)
- Interpreting first-order theories into a logic of records (Q1868253) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- Towards Complete Reasoning about Axiomatic Specifications (Q3075488) (← links)
- A complete theory with arbitrarily large minimality ranks (Q3323929) (← links)
- Records for logic programming (Q4290618) (← links)
- An improved lower bound for the elementary theories of trees (Q4647523) (← links)
- TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS (Q5249029) (← links)