PD Dr. Jörg Hudelmaier

Adresse:

PD Dr. Jörg Hudelmaier
Universität Tübingen
Wilhelm-Schickard-Institut
Sand 13
72076 Tübingen
Deutschland

Einführung in die Logikprogrammierung (WS 97/98): Ein Applet, das die Auswertung eines Prologzieles veranschaulicht, geschrieben von Keyan Zahedi (mod. TP 2015).

Einige Aufsätze:

• On a Contraction free Sequent Calculus for the Modal Logic S4
• Improved decision procedures for the Modal Logics K, T, and S4
• On the complexity of commutative and noncommutative linear logic
• On a hierarchy of fragments of intuitionistic propositional logic
• Complexity of logic programs with nested implications
• A note on Kripkean Countermodels for Intuitionistically Unprovable Sequents
• Bicomplete calculi for intuitionistic propositional logic
• On a normal form for intuitionistic propositional logic