• Direkt zur Hauptnavigation
  • Direkt zum Inhalt
  • Direkt zur Fußleiste
  • Direkt zur Suche
  • Uni A-Z
  • Kontakt
  • Suche
  • Anmelden
  • Sprachauswahl
    • Deutsch
    • Englisch
Logo der Universität Tübingen Logo der Universität Tübingen
  • Studieninteressierte
  • Studierende
  • Beschäftigte
  • Lehrende
  • Alumni
  • Presse
  • Wirtschaft
  • Weiterbildung
  • Alle Studiengänge
  • Campus-Portal
  • Exzellenzinitiative
  • Personensuche (EPV)
  • Studierendensekretariat
  • Universitätsbibliothek
  • Vorlesungsverzeichnis
  • Webmail Uni Tübingen
  • Zentrale Studienberatung

Mathematisch-Naturwissenschaftliche Fakultät

Logik und Sprachtheorie

Logik und Sprachtheorie
  • Aktuelles
  • Personen
    • Zurück
    • Prof. Dr. Peter Schroeder-Heister
      • Zurück
      • Curriculum vitae
      • Aktuelles
      • Forschung
      • Lehre
    • Marine Gaudefroy-Bergmann
    • Dr. Michael Arndt
    • Dr. Thomas Piecha
      • Zurück
      • Publications
      • Teaching
      • Invited talks
      • Organisation of conferences
    • Dr. Luca Tranchini
    • Ehemalige und sonstige Mitarbeiter
      • Zurück
      • 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
  • Lehre
    • Zurück
    • Aktuelle Lehrveranstaltungen
    • Vergangene Lehrveranstaltungen
    • Vorlesungsskripte
  • Oberseminar
    • Zurück
    • Oberseminar
      • Zurück
      • Workshop on Logic
      • Workshop on Hypothetical Reasoning
      • Workshop Logik, Sprachtheorie und Erkenntnistheorie
  • DiFoS
  • HYPOTHESES
  • Beyond Logic
  • Tagungen
    • Zurück
    • Upcoming events
    • Past events
  • Informationen für
    • Zurück
    • Studieninteressierte
    • Studierende
    • Beschäftigte
    • Lehrende
    • Alumni
    • Presse
    • Wirtschaft
    • Weiterbildung
  • Schnellzugriff
    • Zurück
    • Alle Studiengänge
    • Campus-Portal
    • Exzellenzinitiative
    • Personensuche (EPV)
    • Studierendensekretariat
    • Universitätsbibliothek
    • Vorlesungsverzeichnis
    • Webmail Uni Tübingen
    • Zentrale Studienberatung
  • Exzellenzinitiative
AktuellesPersonen
  • Prof. Dr. Peter Schroeder-Heister
  • Marine Gaudefroy-Bergmann
  • Dr. Michael Arndt
  • Dr. Thomas Piecha
  • Dr. Luca Tranchini
  • Ehemalige und sonstige Mitarbeiter
LehreOberseminarDiFoSHYPOTHESESBeyond LogicTagungen
Sie sind hier:
  • Startseite
  • Fakultäten
  • Mathematisch-Naturwissenschaftliche Fakultät
  • Fachbereiche
  • Informatik
  • Personen
  • Ehemalige und sonstige Mitarbeiter
  • PD Dr. Jörg Hudelmaier
Ehemalige und sonstige Mitarbeiter
  • 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
Service
UniversitätsbibliothekBarrierefreie ZugängeBeratung für internationale StudierendeLageplänePersonensuche (EPV)StudienorganisationVerzeichnis der StudiengängeZentrale Studienberatung
Weitere Angebote
Betriebszustand NetzwerkCD-VorlagenKonferenzmaterialienMensamenüNewsletter Uni Tübingen aktuellStudium GeneraleUnishopVeranstaltungskalender Uni
Portale
ALMACampus-PortalPraxis PortalForschungsinformationssystem FITILIAS, moodle, BSCWTimms Video PortalWebmail Uni Tübingen
Kontaktinfo

Eberhard Karls Universität Tübingen

Geschwister-Scholl-Platz
72074 Tübingen

Tel: +49 7071 29-0
Zum Kontaktformular

FacebookTwitterYoutube

© 2019 Eberhard Karls Universität Tübingen, Tübingen

  • Impressum
  • Datenschutzerklärung
  • RSS-Feed
  • Kurz-Link
  • Drucken