Pages that link to "Item:Q5705949"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705949):
Displaying 7 items.
- The theory of lists and \(\Sigma\)-definability (Q447718) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Combining nonstably infinite theories (Q851136) (← 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)
- Combining non-stably infinite, non-first order theories (Q2848056) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)