The following pages link to (Q4436952):
Displaying 4 items.
- The design of the zinc modelling language (Q941812) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Towards a small model theorem for data independent systems in Alloy (Q2848413) (← links)
- Adding partial functions to Constraint Logic Programming with sets (Q4593005) (← links)