The following pages link to (Q4139711):
Displaying 6 items.
- Case-free programs: An abstraction of definite horn programs (Q6488524) (← links)
- A resolution principle for clauses with constraints (Q6488530) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
- HyperMonitor: a Python prototype for hyper predictive runtime verification (Q6623025) (← links)
- Investigations into proof structures (Q6653096) (← links)