The following pages link to Computer Science Logic (Q5394577):
Displaying 4 items.
- A geometrical procedure for computing relaxation (Q1011756) (← links)
- Permutation dependency in datalog programs (Q1208139) (← links)
- Implicit exchange in multiplicative proofnets (Q2719797) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)