Jörg Hudelmaier

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Publications

Jörg Hudelmaier
On the Computational Complexity of Propositional Logic Programs with Nested Implications. ELP (1996)
Jörg Hudelmaier
Improved Decision Procedures for the Modal Logics K, T, and S4. CSL (1995)
Jörg Hudelmaier, Peter Schroeder-Heister
Classical Lambek Logic. TABLEAUX (1995)
Jörg Hudelmaier
An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic. J. Log. Comput. 3 (1) (1993)
Jörg Hudelmaier
Bounds for cut elimination in intuitionistic propositional logic. Arch. Math. Log. 31 (5) (1992)
Jörg Hudelmaier
A Decision Procedure for Propositional N-Prolog. ELP (1989)