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