Pages that link to "Item:Q5705949"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705949):
Displayed 4 items.
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)