| 1996 |
|---|
| 5 | | Jörg Hudelmaier:
On the Computational Complexity of Propositional Logic Programs with Nested Implications.
ELP 1996: 153-159 |
| 1995 |
|---|
| 4 | | Jörg Hudelmaier:
Improved Decision Procedures for the Modal Logics K, T, and S4.
CSL 1995: 320-334 |
| 3 | | Jörg Hudelmaier,
Peter Schroeder-Heister:
Classical Lambek Logic.
TABLEAUX 1995: 247-262 |
| 1993 |
|---|
| 2 | | Jörg Hudelmaier:
An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic.
J. Log. Comput. 3(1): 63-75 (1993) |
| 1989 |
|---|
| 1 | | Jörg Hudelmaier:
A Decision Procedure for Propositional N-Prolog.
ELP 1989: 245-251 |
