Pages that link to "Item:Q1975208"
From MaRDI portal
The following pages link to Generalized definite set constraints (Q1975208):
Displaying 11 items.
- Set constraints in some equational theories (Q1271568) (← links)
- Set constraints and automata (Q1286366) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- On generalized constraints and certificates (Q1841905) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Reasoning about set constraints applied to tractable inference in intuitionistic logic (Q4228078) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- (Q4944863) (← links)
- Set constraints in some equational theories (Q5096315) (← links)
- Computer Science Logic (Q5311277) (← links)