The following pages link to Automated Reasoning (Q5307056):
Displayed 6 items.
- On the verification of security-aware E-services (Q429592) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- On Combinations of Local Theory Extensions (Q4916087) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)