Pages that link to "Item:Q4593005"
From MaRDI portal
The following pages link to Adding partial functions to Constraint Logic Programming with sets (Q4593005):
Displaying 5 items.
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- (Q5087786) (← links)
- Towards systematic treatment of partial functions in knowledge representation (Q6545581) (← links)
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)