Jörg Hudelmaier

According to our database, Jörg Hudelmaier authored at least 6 papers between 1989 and 1996.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1996

On the Computational Complexity of Propositional Logic Programs with Nested Implications.

Jörg Hudelmaier

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995

Classical Lambek Logic.

Jörg Hudelmaier, Peter Schroeder-Heister

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Improved Decision Procedures for the Modal Logics K, T, and S4.

Jörg Hudelmaier

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1993

An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic.

Jörg Hudelmaier

J. Log. Comput., 1993

1992

Bounds for cut elimination in intuitionistic propositional logic.

Jörg Hudelmaier

Arch. Math. Log., 1992

1989

A Decision Procedure for Propositional N-Prolog.

Jörg Hudelmaier

Proceedings of the Extensions of Logic Programming, 1989