Logo University TübingenLogo
Logik und Sprachtheorie
Uni A-Z Login
Picture Bar
  • News
  • Persons
  • Teaching
  • Logic Colloquium
  • DiFoS
  • HYPOTHESES
  • Beyond Logic
  • Conferences and Workshops
Home > ... > Logik und Sprachtheorie > Persons > Former and other members > PD Dr. Jörg Hudelmaier

  • Logik und Sprachtheorie
  • Prof. Dr. Peter Schroeder-Heister
  • Marine Gaudefroy-Bergmann
  • Dr. Michael Arndt
  • Dr. Thomas Piecha
  • Dr. Luca Tranchini
  • Former and other members
  • Dott. Patrizio Contu
  • Prof. Dr. Walter Felscher †
  • PD Dr. Lev Gordeev
  • PD Dr. Jörg Hudelmaier
  • Prof. Dr. Reinhard Kahle
  • Dr. Rainer Lüdecke
  • Dr. Harald Maurer
  • Prof. Dr. Kai Wehmeier
  • Dr. Bartosz Więckowski

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

© Logo
  • Imprint
  • Datenschutzerklärung

  • Contact
  • Shortcut
  • RSS
  • Print
  •  Last Changed: 29.05.2015
  • Welcome Center for Scholars
  • Advice for International Students
  • Student Administration
  • Campus-Portal
  • E-Learning
  • Courses available
  • Wissenschaftliche Weiterbildung
  • Library Online-catalogue
  • Webmail Uni Tübingen
  • Operating Status Network
  • Forms Central Administration
  • Corporate Design
  • Conference Material
  • Mensa menu
  • Staff Search (EPV)
  • Maps
  • Barrierefreie Zugänge
  • Current events
  • Timms Video Portal
  • Unishop
  • EMAS Eco-Management
  • Newsletter Uni Tübingen aktuell