Pages that link to "Item:Q1127338"
From MaRDI portal
The following pages link to Combination of constraint solvers for free and quasi-free structures (Q1127338):
Displaying 6 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Deciding the word problem in the union of equational theories. (Q1400706) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP (Q3183129) (← links)
- Combination of constraint systems II: Rational amalgamation (Q5958755) (← links)
