The following pages link to Stephan Schmitt (Q1854381):
Displayed 12 items.
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- (Q2721210) (← links)
- (Q2726302) (← links)
- (Q3838818) (← links)
- (Q4217953) (← links)
- (Q4223027) (← links)
- (Q4530465) (← links)
- (Q4539627) (← links)
- (Q4539641) (← links)
- Converting non-classical matrix proofs into sequent-style systems (Q4647538) (← links)
- (Q4934141) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)