Pages that link to "Item:Q5712536"
From MaRDI portal
The following pages link to Program Development in Computational Logic (Q5712536):
Displaying 3 items.
- On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations (Q2095546) (← links)
- Analyzing fractional Horn constraint systems (Q2205946) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)