The following pages link to Jörg Hudelmaier (Q1204119):
Displaying 7 items.
- Bounds for cut elimination in intuitionistic propositional logic (Q1204120) (← links)
- (Q3997528) (← links)
- An <b><i>O</i>(<i>n</i> log <i>n</i>)</b>-Space Decision Procedure for Intuitionistic Propositional Logic (Q4272505) (← links)
- (Q4934559) (← links)
- A decision procedure for propositional N-Prolog (Q5053010) (← links)
- (Q5688801) (← links)
- Improved decision procedures for the modal logics K, T and S4 (Q6560176) (← links)
