The following pages link to (Q4503949):
Displaying 3 items.
- Tractability of cut-free Gentzen type propositional calculus with permutation inference (Q672046) (← links)
- No feasible monotone interpolation for simple combinatorial reasoning (Q1575265) (← links)
- Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II (Q1575637) (← links)