The following pages link to (Q5089547):
Displaying 6 items.
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q6116056) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
- Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)