The following pages link to (Q4459910):
Displaying 6 items.
- Towards automating duality (Q1343394) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- On a self-dual notation in automated reasoning (Q2770672) (← links)
- (Q3786479) (← links)
- Deductive generalization for clause logic (Q3976573) (← links)
- Concurrent inference through dual transformation (Q4222184) (← links)